Equivalence of Definitions of Injection

Theorem
The following definitions of an injection are equivalent: