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

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