Total Order

Definition: Total Order

A total order of a set $A$ is a partial order of $A$ in which any two elements are comparable:

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