En palabras, un ideal maximal es un ideal que no está contenido en otro ideal propio diferente de el.