[08H]Prerequisiti:[08F]↺↻.Mostrate che se \((X,≤_ X)⪯ (Y,≤_ Y)\) e anche \((Y,≤_ Y)⪯ (X,≤_ X)\), allora sono equiordinati.
[08J]↺↻
La relazione \(⪯\) è dunque una relazione di ordine totale fra tipi di buoni ordinamenti.
