Definizione
216
[1Z0] Sia \(X\) un insieme non vuoto bene ordinato. Supponiamo che \(x∈ X\) non sia il massimo, allora l’insieme dei maggioranti \(\{ y∈ X:y{\gt}x\} \) non è vuoto, definiamo dunque l’elemento successore \(S(x)\) di \(x\) come
\[ S(x) = \min \{ y∈ X:y{\gt}x\} \quad . \]