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

Theorem
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.

Then: