Una relazione d’ordine è detta totale se
$$ \forall x,y \in S a\sim b \vee b \sim a $$
In altre parole: se $x$ e $y$ sono confrontabili.