A partial order on a set is a relation on that is: Reflexive Antisymmetric transitive: We write to mean and . Note that is irreflexive and transitive.