Equivalence of Definitions of Bijection/Definition 1 iff Definition 3

Proof
This is demonstrated in Mapping is Injection and Surjection iff Inverse is Mapping.