comprende conjuntos no vacíos disjuntos dos a dos tal que para todo conjunto
es un elemento de
, o dicho de otra forma, la función de elección
elige exactamente un elemento de cada conjunto en
Entonces una de las funciones de elección para X es F = { ({1,4,7},7), ({9},9), ({2,7},2) }.