Constructible subset of a variety
= Constructible subset of a variety
A constructible subset is a finite union of locally closed subsets in the <Zariski topology>. A dense constructible subset contains a dense open subset. Constructibility alone is weaker than closedness, but a <constructible subgroup is closed>.