Category:Cantor's Theorem

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Cantor's 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.