RhymeZone: partial order definitions

Definitions of partial order:

noun: (set theory, order theory) A binary relation that is reflexive, antisymmetric, and transitive.

(Definitions from Wiktionary)