El conjunto formula_3 se denomina radical del ideal formula_2 (o sencillamente radical de formula_2).