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

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