Power set

The power set \(\mathcal P (X)\) of a set \(X\) is the set of all subsets of \(X\). That is, if \(Y \subseteq X\), then \(Y \in \mathcal P (X)\).