Definicin de funcin:

Llamaremos funcin entre dos conjuntos, uno de partida (dominio) y otro de

llegada (codominio), a toda correspondencia en la que se cumplen dos
condiciones:
-

Todos los elementos del conjunto de partida tienen correspondiente

El correspondiente de cada elemento del conjunto de partida es nico

Funcin inyectiva( definicin)

Una funcin
es inyectiva si a 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 antiimagen en X, o, lo que es lo mismo, en el conjunto X no puede
haber dos o ms elementos que tengan la misma imagen.

De manera ms precisa, una funcin

alguna de las dos afirmaciones equivalentes:

Si

son elementos de
.

Si

son elementos diferentes de

tales que

es inyectiva cuando se cumple

, necesariamente se cumple

, necesariamente se cumple