Union of Vertical Sections is Vertical Section of Union

Theorem
Let $X$ and $Y$ be sets.

Let $\set {E_\alpha : \alpha \in A}$ be a set of subsets of $X \times Y$.

Let $x \in X$.

Then:


 * $\ds \paren {\bigcup_{\alpha \in A} E_\alpha}_x = \bigcup_{\alpha \in A} \paren {E_\alpha}_x$

Proof
Note that:


 * $\ds y \in \bigcup_{\alpha \in A} \paren {E_\alpha}_x$




 * $y \in \paren {E_\alpha}_x$ for some $\alpha \in A$.

This is equivalent to:


 * $\tuple {x, y} \in E_\alpha$ for some $\alpha \in A$.

This in turn is equivalent to:


 * $\ds \tuple {x, y} \in \bigcup_{\alpha \in A} E_\alpha$

This is the case :


 * $\ds y \in \paren {\bigcup_{\alpha \in A} E_\alpha}_x$