Partial Order Relation

A partial order relation is a relation that is reflexive, antisymmetric, and transitive. For example, the relation “is less than or equal to” is a partial order relation.