Indexed Union Subset

 It has been suggested that this page or section be merged into Set Union Preserves Subsets. (Discuss)

Theorem

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

Then:

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