EDB — 220

Esercizi

1. [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$.