Strict Partial Order

Definition: Strict Partial Order

A strict partial order of a Set $A$ is any Relation $R\subseteq A\times A$ which is ^irreflexivity, transitive and ^asymmetric.

NOTATION

Partial orders are usually denoted by $<$ instead of $R$.