Cantor's Theorem

For any set there is a set
such that there is no surjection from to
More specifically, works.

If is a Cardinal, we write

Thus we know