Todo subconjunto formula_2 de un dominio formula_1 es el generador de algún ideal de formula_1, pues siempre existe por lo menos un ideal que contiene a formula_2 (e.g.