A função injetora, conhecida também como função injetiva, é um caso particular de função. Para que uma função seja considerada injetora, temos que ter a seguinte ocorrência: dados dois elementos, x1 e x2, pertencentes ao conjunto do domínio, com x1 diferente de x2, as imagens f(x1) e f(x2) são sempre distintas, ou seja, f(x1) ≠ f(x2).