partial order

partial order definitions

noun
  • A binary relation that is reflexive, antisymmetric, and transitive.