Past exam of the mathematics course of the University of Cambridge / 2016 / iii / Paper 121 / 4 / a

The Von Neumann hierarchy and the constructible hierarchy are defined by transfinite recursion:The union clauses apply to nonzero limit ordinals. The definable power set $\mathrm{Def}(L_{\alpha })$ consists of subsets definable over $(L_{\alpha },\in )$ by a first-order formula with finitely many parameters from $L_{\alpha }$. Definability over that structure is essential; it is not unrestricted definability in the ambient universe. The full constructible universe is $L={\bigcup }_{\alpha \in \mathrm{Ord}}{L}_{\alpha }$.

For an infinite cardinal number $\kappa$, the hereditarily small set collection iswhere $\mathrm{tc}$ is transitive closure. Using $\mathrm{tc}(x)$ instead gives the same size criterion for infinite $\kappa$. This bounds the whole membership ancestry, not just $|x|$.