Let $\emptyset$ be the D13: Empty set.
A D11: Set $x$ is non-empty if and only if \begin{equation} x \neq \emptyset \end{equation}