Equivalence of Definitions of Injection/Definition 1 iff Definition 6

Proof
This is demonstrated in Injection iff Left Cancellable.