Es sei M {\displaystyle {}M} eine endliche Menge mit m {\displaystyle {}m} Elementen. Dann besitzt die Potenzmenge P ( M ) {\displaystyle {}{\mathfrak {P}}\,(M)} genau 2 m {\displaystyle {}2^{m}} Elemente.