Definition:Comparable Elements

From ProofWiki
Jump to navigation Jump to search

Definition

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$.


Also see

If $x$ and $y$ are not comparable then they are non-comparable.


Sources