Wenn \(X\) eine Menge ist, bezeichnet \(2^X\) die Potenzmenge von \(X\), also die Menge aller Teilmengen von \(X\). Andere Schreibweisen für die Potenzmenge sind \(\mathcal P(X)\) oder \(Pow(X)\). 

Allgemeiner bezeichnet für zwei Mengen \(X,Y\) die Notation \(X^Y\) die Menge der Funktionen \(Y\to X\), dies ist aus mengentheoretischer Sicht mit der Schreibweise für die Potenzmenge verträglich, da \(2=\{0,1\}\) und es eine offensichtliche Bijektion zwischen Teilmengen und Funktionen nach \(\{0,1\}\) gibt (genau die Elemente der Teilmenge werden auf 1 abgebildet).