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

Theorem
Let $S$ and $T$ be sets.

Let $\left\langle{T_i}\right\rangle_{i \mathop \in I}$ be a family of subsets of $T$.

Then: