CartesianPower

$${X}^{n} = \underbrace{X \times \ldots \times X}_{n \text{ times}}$$

Cartesian power. This function should not be confused with the ordinary power function Pow which computes arithmetic powers pointwise when applied to sets.

$${X}^{1} \ne X$$

${X}^{1}$ gives a set of 1-tuples, different from the original set $X$.

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