An ideal $\mathfrak p$ of a ring $R$ is prime if it is proper proper and if $a,b\in R$ such that $ab \in I$, then $a\in \mathfrak p$ or $b\in \mathfrak p$.
Wikidata ID: Q863912