Relaciones Inyectivas

Relación inyectiva: En álgebra abstracta, una función  es inyectiva si a elementos distintos del conjunto  (dominio) les corresponden elementos distintos en el conjunto  (imagen) 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 más elementos que tengan la misma imagen.

Así, por ejemplo, la función de números reales , dada por  no es inyectiva, puesto que el valor 4 puede obtenerse como y . Pero si el dominio se restringe a los números positivos, obteniendo así una nueva función  entonces sí se obtiene una función inyectiva.