choice function
A function whose domain is a family of nonempty sets, and which selects a member from each of those sets as its value.
Noun
- A function whose domain is a family of nonempty sets, and which selects a member from each of those sets as its value.