Alle idealer er ordnet ved inklusjon. Et maksimal ideal er et ideal ⊊ , slik at det ikke finnes noe annet ideal slik at ⊊ ⊊ .