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 , transitive and .

NOTATION

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