Es una función que asocia imágenes distintas (en el codominio) a distintos elementos del dominio. La función $y=x^2$ no es inyectiva, pero sí lo es la función $f(x)=2x+3$. Formalmente, la condición de inyectividad se expresa así: si $f(a)=f(b)$ entonces $a=b$.
A las funciones inyectivas se les llama también preservadoras de información debido al hecho de que se pueden hacer biyectivas (invertibles) si el codominio se restringe al conjunto imagen o rango.