Order (relation)/Definition

An irreflexive antisymmetric transitive binary relation on a set.