Consider S = {1, 2} and T = {shoe, apple, grape}. Define f: S -> T by f(1) = shoe and f(2) = apple. f is injective, but obviously S != T. Perhaps you meant that |S| = |T| (i.e., the sets have the same cardinality), but that's not true either (as per my example). You need to require that there is...