Sia I un ideale proprio di un anello commutativo A. I è massimale se:

In altre parole questa definizione dice che un ideale è massimale quando

non è possibile inserire un ideale tra esso e l’anello.