Esercizi
[080] (Svolto il 2023-01-17) Se \(S⊆ X\) è un segmento iniziale e \(S≠ X\), mostrate che esiste ed è unico \(s ∈ X⧵ S\) (detto l’elemento successivo a \(S\)) che estende \(S\), tale cioè che \(S ∪ \{ s\} \) è un segmento iniziale.
(Si noti che vi sono analogie con il concetto di "successore" visto in [1Z0]...potremmo dire che \(s\) è il successore del segmento \(S\)).Soluzione 1