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

Отношение частичного упорядочения (Partial order relation) - рефлексивное ([math]\displaystyle{ a \leq a }[/math]), антисимметричное (из [math]\displaystyle{ a \leq b }[/math] и [math]\displaystyle{ b \leq a }[/math] следует [math]\displaystyle{ a = b }[/math]) и транзитивное (если [math]\displaystyle{ a \leq b }[/math] и [math]\displaystyle{ b \leq c }[/math], то [math]\displaystyle{ a \leq c }[/math]) отношение.

Литература

[Оре]