Let $X$ be a D11: Set.

Then \begin{equation} \forall \, E \in \mathcal{P}(X) : E^{\complement} \in \mathcal{P}(X) \end{equation}