Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».
En mathématiques, on appelle relation d'ordre total sur un ensembleE toute relation d'ordre ≤ pour laquelle deux éléments de E sont toujours comparables, c'est-à-dire que