En matemáticas , un elemento a de un anillo conmutativo R se llama (relativamente) primo a un ideal I si siempre que ab es un elemento de I entonces b también es un elemento de I.
Se dice que un ideal propio I de un anillo conmutativo A es primo si los elementos que no son primos con respecto a él forman un ideal.