Definition:Injection/Class Theory

Definition 2
This can otherwise be put:

Also see

 * Equivalence of Definitions of Injection