Nota
3
[07S](Svolto il 2023-01-17) Ricordiamo che l’estremo superiore \(\sup A\) di \(A⊆ X\) è (per definizione) il minimo dei maggioranti (when it exists).
Se \(X\) è bene ordinato si ha esistenza dell’estremo superiore \(\sup A\) per ogni \(A⊆ X\) che sia superiormente limitato. 1 (Se \(A\) non è superiormente limitato possiamo convenzionalmente decidere che \(\sup A=∞\)).