power set

A power set of a set $A$, denoted $\mathcal{P}(A)$, is the set of all subsets of $A$. Note that the empty is an element of the power set too.