Relative constructible universe
= Relative constructible universe
{title2=$L(A)$}
The relative constructible universe $L(A)$ is obtained by running the constructible hierarchy over the <transitive closure> of a set $A$, retaining $A$ as a predicate or initial parameter. It is the smallest corresponding <inner model> containing the hereditary information coded by $A$.