Union is Empty iff Sets are Empty/Set of Sets

Theorem
Let $\SS$ be a set of sets.

Then:
 * $\ds \bigcup \SS = \O \iff \forall S \in \SS: S = \O$