Ordre total
Un article de Wikipédia, l'encyclopédie libre.
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.
On appelle ensemble totalement ordonné un ensemble muni d'une relation d'ordre total.
