Avem un domeniu si un codomediu. O functie este injectiva daca fiecarui element din domeniu ii "atribuie" un unic element din codomeniu.
Se aplica de obicei este:
[tex]f:A\rightarrow B\\
\forall\:x,\:y\in A,\:daca\:f(x)=f(y)\Rightarrow x=y,\:atunci\:f\:este\:injectiva[/tex]
Cred ca am un exemplu care sa te lamureasca: Am o clasa de elevi (multimea B) si mai multe carti diferite (multimea A). Vreau sa dau tuturor copiilor cate o carte, asta poate fi functia. Daca dau fiecarui copil o singura carte, atunci functia e injectiva.
Ce am spus mai sus dupa "se aplica de obicei", poate fi interpretat asa: doi copii, x si y, primesc cate o carte. Daca ambii au primit aceasi carte (f(x)=f(y)), atunci am dat, de fapt, o carte unui singur copil (x=y).
