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

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

Литература

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