Funzione iniettiva

In matematica, una funzione iniettiva (detta anche funzione ingettiva oppure iniezione) è una funzione che associa, a elementi distinti del dominio, elementi distinti del codominio.

In altre parole: una funzione da un insieme ${\displaystyle X}$ a un insieme ${\displaystyle Y}$ è iniettiva se ogni elemento di ${\displaystyle Y}$ non può essere ottenuto in più modi diversi partendo dagli elementi di ${\displaystyle X}$.