#constructible set #algebraic geometry #set operations #zariski topology