Let $\emptyset$ be the D13: Empty set.
Let $X$ be a D11: Set.

Then \begin{equation} X \in \mathcal{P}(\emptyset) \quad \implies \quad X = \emptyset \end{equation}