Una 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