die Menge aller Teilmengen einer vorgegebenen Menge M, meist mit 𝒫 (M) bezeichnet. Die Mächtigkeit der Potenzmenge ist nach einem Theorem von G. Cantor stets größer als die der Ausgangsmenge, was im Rahmen der naiven Mengenlehre zu Widersprüchen führt (cantorsche Antinomie). In der axiomatischen Mengenlehre wird die Existenz der