Sets built in stages indexed by ordinals. Key to justifying cumulative hierarchy and V=⋃αVα. Rejects circularity (no x∈x).