Une
relation d’ordre dans un
ensemble est une
relation binaire dans cet ensemble qui permet de comparer ses éléments entre eux de manière cohérente. Un ensemble muni d’une relation d’ordre est un
ensemble ordonné. On dit aussi que la relation définit sur cet ensemble une
structure d'ordre ou tout simplement un
ordre.