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.