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