諾特環
The prime spectrum of a commutative Noetherian ring with the Zariski topology is sequential.