Let $X$ be a D11: Set.

Then \begin{equation} \forall \, E \subseteq X : E^{\complement} \subseteq X \end{equation}