The

**power set**of $X$ is the D11: Set \begin{equation} \mathcal{P}(X) : = \{ E : E \subseteq X \} \end{equation}

▾ Set of symbols

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel set theory

▾ Set

▾ Subset

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel set theory

▾ Set

▾ Subset

Conventions

Subdefinitions

Child definitions

Results