Set Difference with Disjoint Set

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $S, T$ be sets.

Then:

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

where:

$S \cap T$ denotes set intersection
$\O$ denotes the empty set
$S \setminus T$ denotes set difference.


Proof

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

$\blacksquare$


Sources