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