ring.maximal_ideal

In a ring $R$, an ideal $M$ is maximal if $M\neq R$ and for all ideals $I$ of $R$, $$ M\subseteq I \subseteq R\implies M=I\quad\text{or}\quad I=R.$$