Equivalence of Definitions of Bijection