ThmDex – An index of mathematical definitions, results, and conjectures.
F9719
Formulation 0
Let $X, A, B$ each be a D11: Set such that
(i) $A, B \subseteq X$ are each a D78: Subset of $X$
Then \begin{equation} B \setminus A = B \cap (X \setminus A) \end{equation}