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