Cantor's Theorem

Theorem
There is no surjection from a set $S$ to its power set for any set $S$.

That is, $S$ is strictly smaller than its power set.

Also see
Compare this with Russell's Paradox.