# Choice Function for Power Set implies Choice Function for Set

## Theorem

Let $S$ be a set.

Let $\powerset S$ denote the power set of $S$.

Let there exists a choice function for $\powerset S$.

Then there exists a choice function for $S$.