If the initial segment Σ of Ω is a set, then it has a least strict upper bound S(Σ) ∈ Ω. Thus, for numbers α = S(Σ) and β = S(Σ′), α < β iff α ∈ Σ′; α = β iff Σ = Σ′; S(∅) is the least number 0 (although Cantor himself took the least number to be 1); if Σ has a greatest element γ, then α is its successor γ + 1; and if Σ is non-null and has no greatest element, then α is the least upper bound of...