Let $\emptyset$ be the D13: Empty set such that

(i)	$\mathcal{P}(\emptyset)$ is a D80: Power set for $\emptyset$

Then \begin{equation} \mathcal{P}(\emptyset) = \{ \emptyset \} \end{equation}