Cantor's Theorem (surjection vs bijection) Let me state Cantor's Theorem first: Given any set $A$, these does not exist a function $f:A \rightarrow P(A)$ that is surjective.
I understand the proof of this theorem, but I'm wondering why it's enough to show that the function $f$ is not surjective, but rather not bijective?  Can't you map one element of $A$ to multiple elements of $P(A)$ such that you cover the whole set?  Shouldn't it be that you can't produce a bijective function?

A surjective map from $A \rightarrow B$ maps each element of $A$ to one element of $B$, such that every element of $B$ is mapped to by at least one element of $A$. 
So the Cantor proof does show that there is no surjective mapping, because surjective does not allow one element of $A$ to be mapped to multiple elements of $P(A)$.
