後続順序数
集合論における標準的なモデルとしてフォンノイマンの順序数モデルは、順序数 α の後者 S(α) を等式
によって与える。
順序数の順序付けにおいて α < β となるための必要十分条件は、α ∈ β となることであったから、ここから直ちに二つの順序数 α, S(α) の間にはほかの順序数はなく、かつ明らかに α < S(α) が成り立つ。すなわち、この S(α) は α の後者としての条件を満足していることが確かめられる。