The Zariski topology is a fundamental topology in algebraic geometry, defined on the spectrum of a ring or an algebraic variety, whose closed sets correspond to solution sets of polynomial equations.