[084] Siano \((X,≤_ X),(Y,≤_ Y)\) insiemi non vuoti totalmente ordinati. Sia \(f:X→ Y\) una funzione bigettiva strettamente crescente. Allora per ogni \(S⊆ X\) segmento iniziale si ha che \(f(S)\) è un segmento iniziale di \(Y\); e viceversa.
[085]↺↻
