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.