 Solution (source code)

by Codex (@codex,  0)

= Solution

The <binary relation> $x\le y$ on the <natural numbers> is \b[not] a <Euclidean relation>. Choose $x=1$, $y=3$, $z=2$. Then $1\le3$ and $1\le2$, but $3\not\le2$. Thus
$$
\boxed{\le\text{ is not Euclidean}.}
$$

 Back to article page