Función de elección

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

Ejemplo simple

Sea X = { {1,4,7}, {9}, {2,7} }. Entonces una de las funciones de elección para X es F = { ({1,4,7},7), ({9},9), ({2,7},2) }.

Véase también

• Axioma de elección