 Relative constructible universe

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