Otra condición equivalente a las anteriores es que todo conjunto no vacío de ideales del anillo tiene un ideal maximal.