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

Theorem
Let $S$ be a set.

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

Then: