Noether tipi topolojik uzay, kapalı kümelerin azalan dizi şartını sağladığı uzay demek. Yani $X_1\supseteq X_2\supseteq\cdots\supseteq X_n\supseteq \cdots$ 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.)