Constructible universe

Particular class of sets which can be described entirely in terms of simpler sets

From Wikipedia, licensed CC BY-SA 4.0.