Noetherian Zariski topology (source code)

= Noetherian Zariski topology

The Zariski topology on affine space is Noetherian because polynomial rings are Noetherian. Every closed subset is a finite union of irreducible closed subsets: a minimal counterexample would split into two smaller closed subsets, each already having such a decomposition.