Let \$$(P, \le) \$$ be a preorder, and suppose that \$$x, y \in P \$$.
Show that their product and their meet are equivalent,
\$$(x \times y) \cong (x \wedge y) \$$.

[Previous](https://forum.azimuthproject.org/discussion/2161)
[Next](https://forum.azimuthproject.org/discussion/2163)