Si "P" es un subconjunto de un anillo "A", se llama "ideal generado por P" a la intersección de todos los ideales de "A" que contienen a "P", notado usualmente como formula_23.