Definizione
130
[07V]Dati due insiemi non vuoti ordinati \((X,≤_ X)\) e \((Y,≤_ Y)\), diremo che “hanno lo stesso tipo d’ordine”, o più brevemente che sono “equiordinati” 1 , se esiste una funzione bigettiva monotona strettamente crescente \(f:X→ Y\), la cui inversa \(f^{-1}\) è strettamente crescente. La funzione \(f\) è detta “isomorfismo d’ordine”, o “isotonia”.