es decir, si cualesquiera distintos elementos de formula_1 tienen distintas imágenes en formula_2, se dice que formula_3 es una función "inyectiva" o que es una "inyección".