Power Set

Given a set $A$, its power set is the set of all subsets of $A$:

$$\mathcal{P}A=\{B.B\subseteq A\}$$