Binary cartesian set product

Let $X$ and $Y$ each be a D11: Set.
The binary cartesian product of $X$ with $Y$ is the D11: Set $$X \times Y : = \{ (x, y) : x \in X \text{ and } y \in Y \}$$
Child definitions
Results