Noun
partial order (plural partial orders) (set theory, order theory) A binary relation that is reflexive, antisymmetric, and transitive.