\begin{definition}[Definition:Comparable Elements]
Let $\struct {S, \RR}$ be a relational structure.
Two elements $x, y \in S, x \ne y$ are '''comparable''' if either $x \mathrel \RR y$ or $y \mathrel \RR x$.
\end{definition}