Let $X$ be a D11: Set.
The power set of $X$ is the D11: Set \begin{equation} \mathcal{P}(X) : = \{ E : E \subseteq X \} \end{equation}