Set Difference Union Intersection

Theorem

 * $S = \left({S \setminus T}\right) \cup \left({S \cap T}\right)$