Legyen R tetszőleges gyűrű. Ha R minden ideálja végesen generált, akkor az ezekből álló \mathcal{R} halmazrendszer bármely nemüres részhalmazában létezik maximális elem a 19.7. Definíció szerinti értelemben.