Set is Subset of Power Set of Union

Theorem
Let $x$ be a set of sets.

Let $\ds \bigcup x$ denote the union of $x$.

Let $\powerset {\ds \bigcup x}$ denote the power set of $\ds \bigcup x$.

Then:
 * $x \subseteq \powerset {\ds \bigcup x}$

Proof
Let $z \in x$.

By Element of Class is Subset of Union of Class:
 * $z \subseteq \ds \bigcup x$

By definition of power set:


 * $z \in \powerset {\ds \bigcup x}$

The result follows by definition of subset.