Let $X$ be a D17: Finite set such that

(i)	$\mathcal{P}(X)$ is the D80: Power set of $X$

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