Union with Set Difference

Theorem
The union of a set with the set difference between it and another set is the set itself:


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

Proof
$$ $$

Alternatively:

$$ $$