U∈V：Uは集合だから集合全体のクラスVの元
U⊂V：Uの元はすべて集合だからそのいずれも集合全体のクラスVの元
¬(U∈U)：Vは整礎集合全体のクラスでありU∈VだからUは整礎集合
U⊂U：⊂の反射律
¬(V∈V)：真クラスVは真クラスVの元でない
V⊂V：⊂の反射律
¬(V∈U)：真クラスVは集合Uの元でない
¬(V⊂U)：集合Vλ(但しλ>κ)は集合全体のクラスVの元だがU=Vκの元でない