Definition:Maximal Ideal of Ring

Let $$R$$ be a commutative ring with unity.

An ideal $$J$$ of $$R$$ is maximal iff:


 * 1) $$J \subset R$$;
 * 2) There is no ideal $$K$$ of $$R$$ such that $$J \subset K \subset R$$.