 Cantor's theorem asserts that if "A" is a set and "P"("A") is its power set, i.e.the set of all subsets of "A", then there is no surjective function from "A" to "P"("A").A proof is given in the article Cantor's theorem.