king of universeのuniverseって集合の集合Uで(i)x∈u∈U⇒x∈U(ⅱ)u∈U∧v∈U
⇒{u,v},<u,v>,uxv　∈U(ⅲ)x∈U⇒P(x)∈U∧∪x∈U(ⅳ)N∈U(ⅴ)a∈U∧b⊂U∧
f:a→b is a surjection ⇒b∈U ってなるやつの事？