Set Difference Union Intersection

Theorem

 * $S = \paren {S \setminus T} \cup \paren {S \cap T}$