Union of Set of Sets is Non-empty iff some Set is Non-empty

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

Then:
 * $\ds \bigcup \SS \ne \O \iff \exists S \in \SS: S \ne \O$

Proof
Follows immediately from Union of Set of Sets is Empty iff Sets are Empty.