Función inyectiva
Una función es inyectiva si todos los elementos de su dominio tienen diferente imagen; es decir, si es el dominio de y y son elementos de con entonces .
Función inversa
Si tiene una inversa, esta es la función tal que si y solo si .