Set Difference with Intersection

Theorem
Let $S$ and $T$ be sets.

Also see

 * De Morgan's Laws for Set Difference