Grafico funzione iniettivaUna funzione si dice iniettiva se elementi distinti del dominio hanno un’immagine distinta, o equivalentemente se ogni elemento del codominio corrisponde al più ad un elemento del dominio.

Formalmente:
è iniettiva se

o equivalentemente:
è iniettiva se