Let $\emptyset$ be the D13: Empty set.
Let $X$ be a D11: Set such that
Let $X$ be a D11: Set such that
(i) | $X \subseteq \emptyset$ is a D78: Subset of $\emptyset$ |
Then
\begin{equation}
X = \emptyset
\end{equation}