Отношение упорядочения

Отношение упорядочения (Order relation) — отношение частичного упорядочения, удовлетворяющее дополнительному условию: для любой пары элементов [math]\displaystyle{ \,a }[/math] и [math]\displaystyle{ \,b }[/math] выполняется одно из соотношений: [math]\displaystyle{ \,a \leq b }[/math] или [math]\displaystyle{ \,b \leq a }[/math].