maximal ideal

Let \(R\) be a ring. A maximal ideal \(I \subsetneq R\) is an ideal, such that for each ideal \(J \subsetneq R\) we can conclude from \(I \subseteq J\) that \(J = I\)