f är injektiv om f(a)=f(b) medför att a = b för varje a, b i X.
f är injektiv om ab medför f(a)f(b), för varje a, b i X.
En injektiv funktion från mängden X till mängden Y, som är surjektiv, benämns bijektiv. Härav följer således att en bijektiv funktion är injektiv, men omvändningen gäller inte.
En injektiv funktion kallas även en injektion.
Funktionen är inte injektiv då för alla . Om man istället betraktar samma funktion för är f injektiv och surjektiv, och alltså bijektiv.