Jerarquía constructible
La jerarquía constructible consiste en definir, a partir del vacío, niveles sucesivos indicados sobre los ordinales, tomando cada vez las partes definibles del nivel precedente.
Tenemos entonces:
L0 = Ø
LS(α)
= D(α)
Lβ = ∪ {L0, L1,... Lβ...} para todos los β ∈ α, si β es un ordinal límite.
