Una funzione da A in B (f: A → B) si dice INIETTIVA se ad elementi distinti di A corrispondono elementi distinti di B.
Si può anche scrivere che per ogni coppia X1,X2 di A, con x1≠x2 corrisponde f(X1) ≠ f(X2)
Se la funzione è iniettiva noto un elemento di B da questo è possibile risalire in modo univoco all’elemento di A.