RhymeZone: choice function definitions

Definitions of choice function:

noun: (set theory) A function whose domain is a family of nonempty sets, and which selects a member from each of those sets as its value.

(Definitions from Wiktionary)