this theorem

A theorem in the lectures says that if $f:B\to A$ is an injective mapping and $A$ is countable, then $B$ is also countable.