Union is Dominated by Disjoint Union

Theorem
Let $I$ be an indexing set.

For all $i \in I$, let $S_i$ be a set.

Then:
 * $\displaystyle \bigcup_{i \in I} S_i \preccurlyeq \bigsqcup_{i \in I} S_i$

where $\preccurlyeq$ denotes domination, $\bigcup$ denotes union, and $\bigsqcup$ denotes disjoint union.

Proof
For all $\displaystyle x \in \bigcup_{i \in I} S_i$, there exists a $i \left({x}\right) \in I$ such that $x \in S_{i(x)}$.

Thus the mapping $\displaystyle \iota : \bigcup_{i \in I} S_i \to \bigsqcup_{i \in I} S_i$ defined by:
 * $\iota \left({x}\right) = \left({x, i \left({x}\right)}\right)$

is an injection.