besagt, daß für alle Elemente a, b einer totalen Ordnung (M, ≤) genau eine der Aussagen \begin{eqnarray}a\lt b,\ \ \ a=b,\ \ \ a\gt b,\end{eqnarray} gilt, wobei die Relationen < und > auf die übliche Weise mittels ≤ und ≠ definiert sind.