#partial-order

Partial order is a binary relation over a set which is reflexive, antisymmetric, and transitive

https://en.wikipedia.org/wiki/Partially_ordered_set http://mathworld.wolfram.com/PartialOrder.html