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

Then \begin{equation} X \subseteq \emptyset \quad \implies \quad X = \emptyset \end{equation}