Equivalence of Definitions of Injection/Definition 1 iff Definition 5

Theorem
The following definitions of an injection are equivalent:

Proof
This is demonstrated in Injection iff Left Inverse.