Sin embargo, debemos tener presente que, si bien formula_127, donde formula_5, siempre es un conjunto con un solo elemento, el conjunto formula_129 con formula_6 puede ser vacío, ya que la definición de función no garantiza que todo elemento de formula_2 tenga un antecedente en formula_1.