Isomorfismo d'ordine: differenze tra le versioni

==Tipo d'ordine==

 

 

Se due insiemi sono legati da un isomorfismo d'ordine, si dice che hanno ordini equivalenti, o appartengono al medesimo ''tipo d'ordine''; la relazione così definita è una [[relazione di equivalenza]].

 

 

Ad esempio, tutti gli [[insieme finito|insiemi finiti]] ben ordinati con la stessa [[cardinalità]] sono isomorfi tra di loro: infatti, dati i due insiemi <math>X = \left\{ x_1, x_2, \ldots, x_n \right\}</math> e <math>Y = \left\{ y_1, y_2, \ldots, y_n \right\}</math>, poiché sono totalmente ordinati, è possibile disporre i loro elementi in sequenza: