De Morgan's Laws (Set Theory)/Proof by Induction

From ProofWiki
Jump to navigation Jump to search


Let $\mathbb T = \left\{{T_i: i \mathop \in I}\right\}$, where each $T_i$ is a set and $I$ is some finite indexing set.


Difference with Intersection

$\ds S \setminus \bigcap_{i \mathop \in I} T_i = \bigcup_{i \mathop \in I} \paren {S \setminus T_i}$

Difference with Union

$\ds S \setminus \bigcup_{i \mathop \in I} T_i = \bigcap_{i \mathop \in I} \paren {S \setminus T_i}$

Source of Name

This entry was named for Augustus De Morgan.