Prime ideal

Let \(R\) be a commutative ring. An ideal \(\mfp\subseteq R\) is prime if \(\mfp\neq R\) and, for all \(a,b\in R\), \(ab\in \mfp\) implies \(a\in \mfp\) or \(b\in \mfp\).