Partial Order

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A binary relation on a set that is reflexive, antisymmetric, and transitive; such a relation organizes elements into a partially ordered set (poset) where some pairs may be incomparable.