Mathématiques, informatique, politique et poésie
Une relation d'ordre est dite totale si tous les éléments de l'ensemble sont comparables deux à deux, c'est à dire si \(\forall x \forall y(x \leq y \lor y \leq x)\)
