Let $N, M \in \{ 1, 2, 3, \ldots \}$ each be a D5094: Positive integer.

Then \begin{equation} \left| \{ 1, \ldots, M \}^{ \{ 1, \ldots, N \}} \right| = M^N \end{equation}