Strict Total Order

Definition: Strict Total Order

A strict total order of a Set $A$ is a Strict Partial Order of $A$ in which any two elements are comparable:

$$a<b\text{ or }b<a\forall a,b\in A$$