Results Concerning Set Difference with Union

Theorem
Let:
 * $$S \setminus T$$ denote set difference;
 * $$S \cup T$$ denote set union;
 * $$S \cap T$$ denotes set intersection.