Si formula_4 es el mínimo ideal de formula_1 tal que formula_6, se dice que formula_2 es el generador del ideal formula_4 o, equivalentemente, que formula_4 es un ideal de formula_1 generado por formula_2.