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_41, si formula_42 entonces formula_46.