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

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