Equivalence of Definitions of Injection/Definition 1 iff Definition 5

Proof
This is demonstrated in Injection iff Left Inverse.