Zu einer Menge ${\displaystyle {}M}$ nennt man die Menge aller Teilmengen von ${\displaystyle {}M}$ die Potenzmenge von ${\displaystyle {}M}$. Sie wird mit

${\displaystyle {\mathfrak {P}}\,(M)}$

bezeichnet.