定義
空でない集合は必ず自分自身と交わらない要素を持つ。
以下の3つの主張はいずれもZF公理系の他の公理の元で同値であり、どれを正則性公理として採用しても差し支えない[1]。
- ∀x ≠ ∅ に対して、∃y∈x; x ∩ y = ∅
- ∀xについて、∈ が x 上整礎関係
- V = WF
ここで、V は集合論の宇宙を指し、WF は整礎的集合全体のクラス（フォン・ノイマン宇宙）を指す。
ZF公理系内に限って話を進める。各順序数 α に対して R(α) を次のように定義する（
は冪集合）。
- α が極限順序数のとき、
クラス WF はこれらを全て集めたものとして定義される。
ZF公理系の他の公理から得られる種々の集合演算(対集合、和集合、冪集合) の結果としての集合は常に WF 内に含まれる。すなわち V = WF の仮定は、全ての集合を ∅ に通常の集合演算を施すことによって得られるものだけに制限することを主張している。したがって、例えばx = {x}のような集合やx ∈ yかつy∈ xなる集合は正則性の公理の下では集合にはなり得ない。
性質
定理 ―
任意の α ∈ ON に対して、
は推移的
証明 —
超限帰納法による。α = 0 のときは明らかである。∀β < α に対して成り立っていると仮定する。α = β + 1 のとき、仮定より R(β) は推移的であり、
も推移的になる。また、
となる。α が極限順序数のとき、仮定より ∀β < α に対して R(β) は推移的であり推移的集合の和集合が推移的になることにより
も推移的になる。さらに
も同様。
WF の定義より、x ∈ WF のとき、x ∈ R(α) を満たす最小の順序数 α は後続順序数になる。実際、α を極限順序数として x ∈ R(α) 及び ∀β < α, x ∉ R(β) が成り立っているとすると、
となって矛盾する。
そこで、集合 x のランクを次のように定義する。
x ∈ WF のとき、x ∈ R(β + 1) を満たす最小の β を集合 x のランクといい、rank(x) で表す。
よって、rank(x) = β ならば
が成り立ち、x ∈ R(β) かつ x ⊂ R(β) となる。また、このランクの概念を用いて R(α) は次のように特徴付けられる。
及び、
ランクを計算するときに次の補題を使う。
のとき、
かつ
とすると 
ならば 
だから
