**Puzzle 66**

@DanOneata

Where did the definition of the relation \\(\le_{X \times X}\\) in the product preorder come from?

$$ x \le_X x' \text{ and } y \le_X y' = (x, y) \le_{X \times X} (x', y') $$

Is it just an alternate formulation of the "pixie dust"?

@DanOneata

Where did the definition of the relation \\(\le_{X \times X}\\) in the product preorder come from?

$$ x \le_X x' \text{ and } y \le_X y' = (x, y) \le_{X \times X} (x', y') $$

Is it just an alternate formulation of the "pixie dust"?