Llamamos ideal generado por S al ideal determinado por la intersección de todos los ideales que contienen a S.