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} .