Definition
Partial Order
A partial order is a binary relation
on a set that is reflexive, antisymmetric, and transitivity. A set equipped with a partial order is termed a partially ordered set or poset.
- reflexive: For all
, it holds that . - anti-symmetry: For all
, if and , then . - transitive: For all
, if and , then .