As a consequence, a relation is transitive and asymmetric if and only if it is a strict partial order.
Следствие: отношение является транзитивным и асимметричным тогда и только тогда, когда это строгий частичный порядок.