Let $X$ be a non-empty set and let $\{a_1,a_2,\ldots,a_n\}$ be a set with $n$ elements. The Cartesian product $$\underbrace{X\times X\times\cdots\times X}_{n\text{ times}}$$ is equipotent to the set of all maps $f:\{a_1,a_2,\ldots,a_n\}\to X.$
In particular, if $X$ is a finite set as well with the cardinality $|X|=m,$ then the number of ordered n-tuples of the $m$ elements equals $m^n.$
Proofs: 1
Proofs: 1
