Es decir, si para todo formula_2 de formula_3 se cumple que existe un único formula_4 de formula_5, tal que la función evaluada en formula_4 es igual a formula_2.