Esercizi
[21P]Dati due insiemi non vuoti totalmente ordinati \((X,≤_ X)\) e \((Y,≤_ Y)\), supponiamo che esista una funzione bigettiva monotona strettamente crescente \(f:X→ Y\): si mostri che allora la sua inversa \(f^{-1}\) è strettamente crescente, e conseguentemente \((X,≤_ X)\) e \((Y,≤_ Y)\) sono equiordinati.
Soluzione 1