In mathematical set theory, Cantor's theorem is a fundamental result which states that, for any set, the set of all subsets of known as the power set of has a strictly greater cardinality than itself. For finite sets, Cantor's theorem can be seen... Wikipedia