Una función de elección es una función f{\displaystyle f}, cuyo dominio X{\displaystyle X} comprende conjuntos no vacíos disjuntos dos a dos tal que para todo conjunto S{\displaystyle S} perteneciente a X{\displaystyle X}, f(S){\displaystyle f(S)} es un elemento de S{\displaystyle S}, o dicho de otra forma, la función de elección f{\displaystyle f} elige exactamente un elemento de cada conjunto en X{\displaystyle X}.