空集合を含み,x∈N⇒x∪{x}∈Nを満たす集合Nが存在する.