En
matemáticas, una
función es
inyectiva si elementos distintos del conjunto (
dominio) les corresponden elementos distintos en el conjunto (
codominio) de . Es decir, cada elemento del conjunto Y tiene a lo sumo una preimagen en X, o, lo que es lo mismo, en el conjunto X no puede haber dos o más elementos que tengan la misma imagen.