Esercizi
[220]Mostrate che la relazione "avere lo stesso tipo d’ordine" è una relazione d’equivalenza. Dato un insieme \(X\), consideriamo tutti i possibili ordinamenti su \(X\), la relazione definisce dunque classi di equivalenza, e ogni classe è (per l’appunto) un “tipo d’ordine” su \(X\).