Cualquier función será inyectiva si elementos distintos del dominio A se corresponden con elementos distintos del B, es decir, que ningún elemento del dominio se corresponde con la misma imagen de otro.
Es decir, para cualesquiera dos elementos a y b, pertenecientes al dominio de la función Domf, si sus imágenes f(a) y f(b) son iguales, los elementos son necesariamente iguales.
