Definition:Injection/Definition 1 a

Definition
A mapping $f$ is an injection, or injective :
 * $\forall x_1, x_2 \in \Dom f: x_1 \ne x_2 \implies f \paren {x_1} \ne f \paren {x_2}$

That is, distinct elements of the domain are mapped to distinct elements of the codomain.

Also see

 * Equivalence of Definitions of Injection