Dada una familia de conjuntos no vacíos podemos elegir un elemento de cada conjunto.