Sei \(R \subseteq M \times M\) eine homogene Relation auf die Menge \(M\)
\(R\) ist genau dann trichotom, wenn gilt:
\begin{align*}
\forall x,y \in M : ((x,y) \in R \Rightarrow (y,x) \not\in R) \land (a \neq b \Rightarrow (a,b) \in R \lor (b,a) \in R)
\end{align*}