El ideal de formula_1 generado por el subconjunto formula_2 de formula_1 se denota comúnmente por