A
choice function (
selector,
selection) is a
mathematical function f that is defined on some collection
X of nonempty
sets and assigns to each set
S in that collection some element
f(
S) of
S. In other words,
f is a choice function for
X if and only if it belongs to the
direct product of
X.