Esercizio
124
[206]Prerequisiti:[07C],[07D],[07F].Difficoltà:*.
All’inizio della sezione abbiamo assunto che l’ordinamento \(≤\) su \(X\) sia totale. Le definizioni di intervallo in [07C] e in [07D] si possono però dare anche per un ordinamento che non sia (necessariamente) totale. Cosa succede nell’esercizio [07F] quando l’ordinamento non è totale? Quale risultato è vero, quale è falso, e nel caso che controesempio possiamo dare?