Union with Set Difference

Theorem
$$\left({S - T}\right) \cup S = S$$