Cantor's Theorem

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The theorem that for any set S, the power set P(S) (the set of all subsets of S) has strictly greater cardinality than S itself; in particular there is no surjection from S onto P(S).