Cantor's theorem
In mathematical set theory, Cantor's theorem is a fundamental result which states that, for any set A {\displaystyle A} , the set of all subsets of A , {\displaystyle A,} known as the power set of A , {\displaystyle A,} has a strictly greater cardinality than A {\displaystyle A} itself. For finite sets, Cantor's theorem can be seen to be true by simple enumeration of the number of subsets.