\begin{definition}[Definition:Prime Ideal of Ring]
Let $R$ be a ring.
A '''prime ideal''' of $R$ is a proper ideal $P$ such that:
: $I \circ J \subseteq P \implies I \subseteq P \text { or } J \subseteq P$
for any ideals $I$ and $J$ of $R$.
\end{definition}