Función de elección

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