choice function

Noun

 * 1)  A function whose domain is a family of nonempty sets, and which selects a member from each of those sets as its value.