Idéal maximal

Un idéal $M$ d’un anneau commutatif $A$ est maximal si $M\neq A$ (c’est un sous-ensemble propre) et qu’il n’existe pas d’idéal $I$ de $A$ tel que
$$M \subsetneq I \subsetneq R.$$