Let $X, Y, Z$ each be a D11: Set.

Then \begin{equation} Z \subseteq Y \quad \implies \quad X \setminus Y \subseteq X \setminus Z \end{equation}