Set Difference Equals First Set iff Empty Intersection

From ProofWiki
Jump to navigation Jump to search

Theorem

$S \setminus T = S \iff S \cap T = \O$


Proof

Assume $S, T \subseteq \Bbb U$ where $\Bbb U$ is a universal set.

\(\displaystyle S \setminus T\) \(=\) \(\displaystyle S\)
\(\displaystyle \leadstoandfrom \ \ \) \(\displaystyle S \cap \map \complement T\) \(=\) \(\displaystyle S\) Set Difference as Intersection with Complement
\(\displaystyle \leadstoandfrom \ \ \) \(\displaystyle S\) \(\subseteq\) \(\displaystyle \map \complement T\) Intersection with Subset is Subset‎
\(\displaystyle \leadstoandfrom \ \ \) \(\displaystyle S \cap \map \complement {\map \complement T}\) \(=\) \(\displaystyle \O\) Intersection with Complement is Empty iff Subset
\(\displaystyle \leadstoandfrom \ \ \) \(\displaystyle S \cap T\) \(=\) \(\displaystyle \O\) Complement of Complement

$\blacksquare$


Sources