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.

$\blacksquare$