Total Order

algebra

Definition

Total Order

A partial order $R$ is called total order if:

$$\forall a,b:aRb\vee bRa$$