In der Mathematik sind Ordnungsrelationen Verallgemeinerungen der „kleiner-gleich“-Beziehung. Sie erlauben es, Elemente einer Menge miteinander zu vergleichen.
Eine Ordnungsrelation ist formal eine zweistellige Relation
R
⊆
M
×
M
{\displaystyle R\subseteq M\times M}
auf einer Menge
M
...
