choice function

Short definition from Wiktionary

Noun

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