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

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$