Class Difference with Class Difference

Theorem
Let $A$ and $B$ be classes.

Then:
 * $A \setminus \paren {A \setminus B} = A \cap B$

Also see

 * Set Difference with Set Difference