整礎的集合
すべての順序数α, β に対して,α < β ならば,Vα ⊆ Vβ となる。
すべての順序数α に対して,Vα は推移的集合である。すなわち,Vα ⊆ P(Vα) となる。
ON を順序数全体のクラスとすると,すべての順序数α に対して,Vα ∩ ON = α となる。