Set is Subset of Union/Family of Sets/Proof 1

Proof
Let $x \in S_\beta$ for some $\beta \in I$.

Then:

As $\beta$ was arbitrary, it follows that:


 * $\ds \forall \beta \in I: S_\beta \subseteq \bigcup_{\alpha \mathop \in I} S_\alpha$