Power set

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