选择函数是一个函数f，其定义域X为一堆非空集合组成的集合，且对每一于X内的S，f(S)会属于S。换句话说，f会在X的每一集合中选取一个且只一个元素。