re **Puzzle 169** how about

\\((x, y) \leq_{X^\textrm{op}\times Y} (x',y') \iff x \leq_{X^\textrm{op}} x'\\) and \\(y \leq_Y y' \iff x' \leq_X x\\) and \\(y \leq_Y y'\\)