Ideal primo: en un anillo conmutativo unitario, "I" es un ideal primo si y solo si "I" es distinto de "A" y, para todo "a" y "b" pertenecientes a A tales que formula_32, si formula_33 entonces formula_37.