função injetiva

Uma função real de variável real diz-se injetiva se e só se a quaisquer dois objetos diferentes corresponderem imagens diferentes. Simbolicamente, se todo o x₁ ≠ x₂ sendo que x₁, x₂ pertencem ao domínio de , então ≠ .

Daqui resulta imediatamente que se é injetiva também é estritamente monótona (crescente ou decrescente).

Outra consequência é, em termos geométricos, qualquer reta paralela ao eixo Ox, tirada por um ponto do contradomínio de , encontra o gráfico desta apenas uma vez, em virtude de uma função injetiva não poder repetir qualquer imagem.