Prove the following:
LEMMA
If $B$ is a subset $A$, and if an injection (one-to-one) $f: A \rightarrow B$ exists, then there is a bijection (one-to-one and onto) $g: A \rightarrow B$.
Since $f$ is a function, every $a \in A$ is sent to exactly one $b \in B$. Since $f$ is injective, we know that $a_1 \not= a_2 \implies f(a_1) \not=f(a_2)$ $\forall a_1,a_2 \in A$. This means that every $a \in A$ is sent to a unique $b \in B$ $\implies$ $|A| = |im f|$.
But since $B$ is a subset of $A$ and $im f$ is a subset of $B$, we have $|imf| \leq |B| \leq |A| \implies |imf|=|B|=|A|$ from above. But $imf=B$ implies surjectivity by definition.
Finally, since $imf \subseteq B \subseteq A$ and $|imf|=|B|=|A|$, we know that $imf=A=B$.
Do you think my answer is correct?
Thank you in advance