A choice function is a mathematical function f that is defined on some collection X of nonempty sets and assigns some element of each set S in that collection to S by f; f maps S to some element of S. In other words, f is a choice function for X if and only if it belongs to the direct product of X. Wikipedia