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.