Noether tipi topolojik uzay, kapalı kümelerin azalan dizi şartını sağladığı uzay demek. Yani X1⊇X2⊇⋯⊇Xn⊇⋯ kapalı kümelerden oluşan bir dizi ise bir yerden sonra bu dizi durmak zorunda. Sürekli küçülerek gidemez yani. (Noether tipi halkadaki idealler üzerindeki koşulun tersi)
Yazdığım şart aynı zamanda şuna da denk: Kapalı kümelerden oluşan her koleksiyonun bir en küçük elemanı vardır.
(Bu iki tanımdan birisi diğerini otomatik olarak gerektiriyor. Ters taraf için de Zorn'un yardımcı savını kullanmak icap eder.)