An ideal <i>I</i> is <i>prime</i> if whenever
<i>pq &isin; I</i> then either <i>p &isin; I</i> or <i>q &isin; I</i>.