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
.