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

From ProofWiki
Jump to navigation Jump to search

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$