En particular, la intersección de ideales que contienen a un subconjunto formula_145 es un ideal que es igual al ideal generado por formula_149