# Indexed Union Subset

## 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$

From ProofWiki

Jump to: navigation, search

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

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

You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it. To discuss this point in more detail, feel free to use the talk page.

*If you are able to explain it, then when you have done so you can remove this instance of {{Explain}} from the code.*

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$

In particular:

You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links.

*To discuss this in more detail, feel free to use the talk page.*

*Once you have done so, you can remove this instance of* `{{MissingLinks}}` *from the code.*

You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.

*When this page/section has been completed,* `{{ProofWanted}}`

*should be removed from the code.*

*If you would welcome a second opinion as to whether your work is correct, add a call to* `{{Proofread}}`

*the page (see the proofread template for usage).*

- This page was last modified on 1 May 2018, at 16:49 and is 531 bytes
- Content is available under Creative Commons Attribution-ShareAlike License unless otherwise noted.