Una relazione d'ordine si dice relazione d'ordine totale se vale la seguente proprieta':



Un insieme con una relazione d'ordine totale si dice insieme totalmente ordinato.