Choice function
A choice function is a mathematical function f whose domain X is a collection of nonempty sets such that for every S in X, f(S) is in S. In other words f chooses exactly one element from each set in X.
The Axiom of Choice is often stated in terms of a choice function: "For every collection X of nonempty sets, there exists a choice function on X."