Let $X$ be a D17: Finite set.
Let $N \in \mathbb{N}$ be a D996: Natural number.

Then \begin{equation} \left| \prod_{n = 1}^N X \right| = |X|^N \end{equation}