> [!NOTE] Definition (Trichotomy) > A [[Binary Relation|binary relation]] $R$ is a trichotomy iff $\forall x \forall y (xRy \lor x = y \lor yRx)$ > >