Una función formula_158 es inyectiva si a elementos distintos del dominio les corresponden imágenes distintas i.e.