CartesianProduct

The set of all tuples $\left(x, y\right)$ with $x \in X$ and $y \in Y$. More generally, this function can be called with $n$ arguments to construct $n$-tuples. This function should not be confused with the ordinary product function Mul which computes arithmetic products pointwise when applied to sets.