Partial Order

Definition: Partial Order

A partial order of a set $A$ is any relation $R\subseteq A\times A$ which is reflexive, transitive and antisymmetric.

NOTATION

Partial orders are usually denoted by $\le$ instead of $R$.