 Definable power set

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$.