Un ideal primo se define entonces como un ideal que cumple también que: