Cardinality of Cartesian Product of Finite Sets/General Result/Corollary

Theorem

Let $S$ be a finite set.

Let $S^n$ be a cartesian space on $S$.

Then:

$\card {S^n} = \card S^n$

where $\card {\, \cdot \,}$ denotes cardinality.

Proof

This is an instance of Cardinality of Cartesian Product of Finite Sets: General Result, where each set is equal.

$\blacksquare$