Power set

Let \(X\) be a set.

Then the power set is defined as of subsets of \(A\):

\begin{align*} \mathcal{P}(X) \coloneqq \{A \vert A \subseteq X\} \end{align*}