partialOrder

A relation that has a partial order is a relation that is reflexive, antiSymmetric, and transitive.

See this demonstrated here. Read more about this property here.