Totalität einer Relation

Eine homogene Relation auf einer Menge \(M\) erfüllt die Totalität, wenn für \(x,y \in M\) gilt:

\begin{align*} x \leq y \lor y \leq x \end{align*}