Noun
choice function (plural choice functions) (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.