Let ${S}$ be a family of nonempty sets. To find a choice function on ${S}$, let $P =$ { $f : f$ is a choice function on some $Z \subset S$}, and apply Zorn’s Lemma to the partially ordered set ${(P,\subset)}$.