Injektivna funkcija
Za funkciju f ( x ) : X → Y {\displaystyle f(x)\colon X\rightarrow Y} kažemo da je injektivna funkcija, ili samo injekcija, ako ne postoje dva različita elementa domena, a koji se preslikavaju u neki isti element iz kodomena. To znači da se svi elementi iz domena preslikavaju u međusobno različite elemente iz kodomena (funkcija ne preslikava različite elemente u isti). Zapisano simboličkom logikom, f ( x ) : X → Y {\displaystyle f(x)\colon X\rightarrow Y} je injektivna ako vrijedi: ( ∀ x 1 , x 2 ∈ X )   ( ( x 1 ≠ x 2 ) ⇒ ( f ( x 1 ) ≠ f ( x 2 ) ) {\displaystyle (\forall x_{1},x_{2}\in X)\ ((x_{1}\neq x_{2})\Rightarrow (f(x_{1})\neq f(x_{2}))} što je ekvivalentno tvrdnji: ( ∀ x 1 , x 2 ∈ X )   ( ( f ( x 1 ) = f ( x 2 ) ) ⇒ ( x 1 = x 2 ) ) {\displaystyle (\forall x_{1},x_{2}\in X)\ ((f(x_{1})=f(x_{2}))\Rightarrow (x_{1}=x_{2}))}