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.
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.