constructible universe

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