In topology, a constructible set in a topological space is a finite union of locally closed sets. (A set is locally closed if it is the intersection of an open set and closed set, or equivalently, if it is open in its closure.) Constructible sets form a Boolean algebra (i.e., it is closed under finite union and complementation.) In fact, the constructible sets are precisely the Boolean algebra generated by open sets and closed sets; hence, the name "constructible". The notion appears in classical algebraic geometry.
Chevalley's theorem (EGA IV, 1.8.4.) states: Let
In a topological space, every constructible set contains a dense open subset of its closure.