Let $X$ be a D11: Set such that

(i)	\begin{equation} N : = |X| < \infty \end{equation}
(ii)	$\mathcal{P}(X)$ is the D80: Power set of $X$

Then \begin{equation} |\mathcal{P}(X)| = 2^N \end{equation}