CartesianProduct

$$X \times Y$$

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.

Last updated: 2020-03-06 00:22:16