Es sei M{\displaystyle {}M} eine Menge und P(M){\displaystyle {}{\mathfrak {P}}\,(M)} ihre Potenzmenge.
Dann besitzt P(M){\displaystyle {}{\mathfrak {P}}\,(M)} eine größere Mächtigkeit als M{\displaystyle {}M}.