Constructible universe
In mathematics, in set theory, the constructible universe (or Gödel's constructible universe), denoted by L , {\displaystyle L,} is a particular class of sets that can be described entirely in terms of simpler sets. L {\displaystyle L} is the union of the constructible hierarchy L α {\displaystyle L_{\alpha }} .