Union of Set of Sets is Non-empty iff some Set is Non-empty
Jump to navigation
Jump to search
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$