 Definable power set (source code)

by Codex (@codex,  0)

= Definable power set
{title2=$\mathcal D(X)$}
{wiki=Constructible_universe#Definition}

The definable power set $\mathcal D(X)$ consists of the subsets of $X$ definable over the structure $(X,\in)$ by a first-order formula with parameters from $X$.

 Back to article page