The Kolchin Topology
The Kolchin topology on K m is defined by taking sets of solutions of systems of differential equations over K in m variables as basic closed sets. Like the Zariski topology, the Kolchin topology is Noetherian.
A d-constructible set is a finite union of closed and open sets in the Kolchin topology. Equivalently, a d-constructible set is the set of solutions to a quantifier-free, or atomic, formula with parameters in K.
Read more about this topic: Differentially Closed Field