linear order

Total/linear order (Totalordnung)

Additional to partial order:
$\forall x,y\in A:xRy\vee yRx$ (any two elements are comparable – the hasse-diagram always looks like a chain).

EXAMPLE

Let $A=\mathbb{R},xRy⟺x\le y$ → total order

Let $A=\mathbb{N},xRy⟺x\mid y$ → partial order (e.g. $2\nmid 3,3\nmid 3$)

$A=2^M=\{x:x\subseteq M\}$, $YRY⟺X\subseteq Y$ → partial order, total order if $|M|\le 1$, since the empty set is comparable to the set with one element. But if there are two elements, we can put both into a set with a single element and then the two sets are not comparable.

$(\{R:R\subseteq A\times B\},\subseteq )$ → partial order (the set of all relations between two sets is partially ordered by inclusion)
$(\{R:R\subseteq A\times A\},\oplus )$ can be written as a pair $(A,R),R\subseteq A\times A$.

Link to original

The natural numbers $\mathbb{N}$ are a linear order.