Uma função diz-se injectiva (ou injetora) se e somente se quaisquer que sejam e (pertencentes ao domínio da função), é diferente de implica que f() é diferente de f():

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