To any first order structure you can associate a Zariski-like topology, roughly by taking as closed sets the subsets definable by formulas without negation, see e.g. here and in the article linked there.
If the first order structure is an algebraically closed field where you interpret the language of rings you get back the Zariski topology.
