En mathématiques, on appelle relation d'ordre total sur un ensemble E toute relation d'ordre ≤ pour laquelle deux éléments de E sont toujours comparables, c'est-à-dire que ∀ x, y ∈ E x ≤ y ou y ≤ x {\displaystyle \forall x,y\in E\quad x\leq y{\text{ ou }}y\leq x}. Wikipedia