Equivalence of Definitions of Injection/Definition 1 iff Definition 6

Theorem
The following definitions of an injection are equivalent:

Proof
This is demonstrated in Injection iff Left Cancellable.