Let $X$ and $Y$ each be a D17: Finite set such that
(i) | $Y^X$ is the D68: Set of maps from $X$ to $Y$ |
Then
\begin{equation}
|Y^X| = |Y|^{|X|}
\end{equation}
(i) | $Y^X$ is the D68: Set of maps from $X$ to $Y$ |
(i) | $Y^X$ is the D68: Set of maps from $X$ to $Y$ |