Injektivna funkcija

Za funkciju $f(x)\colon X\rightarrow Y$ kažemo da je injekcija ako ne postoje dva različita elementa domene, a koji se preslikavaju u neki isti element iz kodomene.

Na slici vidimo da su se svi elementi iz X preslikali u različite elemente u Y

To znači da se svi elementi iz domene preslikavaju u međusobno različite elemente iz domene (funkcija ne "lijepi" različite elemente u isti).

Zapisano simboličkom logikom, $f(x)\colon X\rightarrow Y$ je injektivna ako vrijedi:

$(\forall x_{1},x_{2}\in X)\ ((x_{1}\neq x_{2})\Rightarrow (f(x_{1})\neq f(x_{2}))$

što je ekvivalentno tvrdnji:

$(\forall x_{1},x_{2}\in X)\ ((f(x_{1})=f(x_{2}))\Rightarrow (x_{1}=x_{2}))$