EDB — 1Z0

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