Editing Relational operator (section)

==Logical equivalence==
Though perhaps unobvious at first, like the [[Boolean logic|boolean]] [[logical operator]]s XOR, AND, OR, and NOT, relational operators can be designed to have [[logical equivalence]], such that they can all be defined in terms of one another. The following four conditional statements all have the same logical equivalence ''E'' (either all true or all false) for any given ''x'' and ''y'' values:
:<math>
E = \begin{cases}
x < y \\
y > x \\
x \ngeq y \\
y \nleq x
\end{cases}</math>

This relies on the domain being [[well ordered]].