Uma função diz-se injectiva se e só se quaisquer que sejam x, y pertencentes ao domínio da função, se x é diferente de y implica que f(x) é diferente de f(y).

Graficamente, uma função f é injectiva se e só se nenhuma recta horizontal intersecta o seu gráfico em mais do que um ponto.