funzione iniettiva

Definizione

Una funzione $f:A\to B$ si dice iniettiva se elementi distinti del dominio hanno immagini distinte, ovvero:

$\forall x,y\in A,x\ne y⟹f(x)\ne f(y)$

Equivalentemente, se due elementi del dominio hanno la stessa immagine, allora coincidono necessariamente:

$\forall x,y\in A,f(x)=f(y)⟹x=y$

Risorse