Results Concerning Set Difference with Union

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