Si "R" es un anillo conmutativo, entonces un ideal "P" de "R" se dice que es "primo" si tiene las siguientes dos propiedades: