si formula_2 contiene un sólo elemento), se dice que formula_21 es un "ideal principal" de formula_1.