Cierre Radical

La operación que asigna a una subestructura (típicamente un ideal) el conjunto de elementos cuya alguna potencia pertenece a la subestructura; para un ideal I, su radical rad(I) = {x | x^n ∈ I para algún n ≥ 1}, produciendo un objeto cerrado por radical (un ideal igual a su propio radical).