Funzione iniettiva
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