Cantor's theorem


THEOREM   

The powerset of a set \(A\) has a strictly greater cardinality than \(A\) itself.

Proof available