 Constructible power set

For $A\in L$, its constructible power set isUnlike the single-stage definable power set $\mathcal{D}(A)$, it includes subsets of $A$ appearing arbitrarily late in the constructible hierarchy.