# Choice Function for Set implies Choice Function for Union of Set

## Theorem

Let $S$ be a set of sets.

Let $\bigcup S$ denote the union of $S$.

Let there exists a choice function for $S$.

Then there exists a choice function for $\bigcup S$.