Results Concerning Set Difference with Union

From ProofWiki
Jump to navigation Jump to search

Theorem

Let:


Set Difference with Union

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


Set Difference is Right Distributive over Union

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


Set Difference with Set Difference is Union of Set Difference with Intersection

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


Set Difference is Subset of Union of Differences

$R \setminus S \subseteq \left({R \setminus T}\right) \cup \left({T \setminus S}\right)$