For any set of nonempty sets, there is a function

such that for all , called a choice function.