# De Morgan's Laws (Set Theory)/Relative Complement/Family of Sets/Complement of Union

Jump to navigation
Jump to search

## Contents

## Theorem

Let $S$ be a set.

Let $\family {S_i}_{i \mathop \in I}$ be a family of subsets of $S$.

Then:

- $\displaystyle \relcomp S {\bigcup_{i \mathop \in I} \mathbb S_i} = \bigcap_{i \mathop \in I} \relcomp S {S_i}$

## Proof

\(\displaystyle \relcomp S {\bigcup_{i \mathop \in I} S_i}\) | \(=\) | \(\displaystyle S \setminus \paren {\bigcup_{i \mathop \in I} S_i}\) | Definition of Relative Complement | ||||||||||

\(\displaystyle \) | \(=\) | \(\displaystyle \bigcap_{i \mathop \in I} \paren {S \setminus S_i}\) | De Morgan's Laws for Set Difference: Difference with Union | ||||||||||

\(\displaystyle \) | \(=\) | \(\displaystyle \bigcap_{i \mathop \in I} \relcomp S {S_i}\) | Definition of Relative Complement |

$\blacksquare$

## Source of Name

This entry was named for Augustus De Morgan.

## Sources

- 1975: T.S. Blyth:
*Set Theory and Abstract Algebra*... (previous) ... (next): $\S 6$. Indexed families; partitions; equivalence relations: Exercise $2$ - 1993: Keith Devlin:
*The Joy of Sets: Fundamentals of Contemporary Set Theory*(2nd ed.) ... (previous) ... (next): $\S 1$: Naive Set Theory: $\S 1.4$: Sets of Sets: Exercise $1.4.5 \ \text{(i)}$

- 1953: Walter Rudin:
*Principles of Mathematical Analysis*... (next): $2.22$