On appelle
relation d'ordre total sur un ensemble
E toute
relation d'ordre = telle que tout élément de
E soit comparable avec tout autre élément de
E, c'est-à-dire que pour tout
x et
y éléments de
E,
x =
y ou
y =
x ; l'ensemble
E est dit alors
totalement ordonné.