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

Отношение частичного упорядочения (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]) отношение.

Литература

• Оре О. Теория графов. — М.: Наука, 1968.