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)