Inyectivas. En matemáticas , una f unción {\displaystyle f\colon X\to Y} es inyectiva si a elementos distintos del conjunto {\displaystyle X} ( dominio ) les corresponden elementos distintos en el conjunto {\displaystyle Y} (condominio) de {\displaystyle f} . 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. Así, por ejemplo, la función de números reales {\displaystyle f:\mathbb {R} \to \mathbb {R} } , dada por {\displaystyle f(x)=x^{2}} no es inyectiva, puesto que el valor 4 puede obtenerse como {\displaystyle f(2)} Y {\displaystyle f(-2)} . Pero si el dominio se restringe a los números positivos, obteniendo así una nueva función {\displaystyle g:\mathbb {R} ^{+}\to \mathbb {R} ^{+}} , entonces sí se obtiene una función inyectiva . una función es inyectiva cuando no hay dos elementos del dominio que tengan la misma imagen. Formalment