Indexed Union Subset

Theorem
Let $A$, $B_x$, and $C_x$ be classes.


 * $\displaystyle \forall x \in A: B_x \subseteq C_x \implies \bigcup_{x \in A} B_x \subseteq \bigcup_{x \in A} C_x$