En matemáticas, una función formula_1 es inyectiva si a elementos distintos del conjunto formula_2 (dominio) les corresponden elementos distintos en el conjunto formula_3 (codominio) de formula_4.