choice function noun1 •A function whose domain is a family of nonempty sets, and which selects a member from each of those sets as its value. formschoice functions