Esercizi
[07N] Prerequisiti:[07C],[07D],[07F],[07K].
Sia \(X\) un insieme totalmente ordinato. Mostrate che le due seguenti sono equivalenti.
Ogni \(A⊆ X\) non vuoto limitato dall’alto e dal basso ammette estremo superiore e inferiore.
Ogni intervallo \(I⊆ X\) non vuoto ricade in una delle categorie viste in [07D].
Soluzione 1