後続順序数
後者演算は(厳密には超限帰納法を通じて)順序数の和を定義するのに用いられる:
および、極限順序数 λ に対しては
特に、S(α) = α + 1 が成り立つ。乗法や冪も同様に定義される。