La razón es que un elemento formula_23 puede no estar en formula_74 para todo formula_72, y sin embargo, puede que su imagen formula_40 si esté en todos los conjuntos formula_305 debido a que es la imagen de algún otro elemento contenido en los conjuntos formula_74 que no tienen a formula_23.