En anillos noetherianos conmutativos también implica que de la intersección de una familia cualquiera de ideales (infinita o no), puede extraerse un subconjunto finito que tenga esa misma intersección.