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

Proof
Let $\beta \in I$ be arbitrary.

Then:

So it follows that:


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