El ideal de formula_1 generado por formula_2, formula_17, puede obtenerse explícitamente considerando que la intersección de cualquier familia de ideales es un ideal, y que, en particular, es el menor de todos ellos.