Kommutatives Monoid/Ideal auf Monoidebene/Ergibt Ideal in R M/Aufgabe

Es sei ein kommutatives Monoid und ein kommutativer Ring. Charakterisiere, für welche Teilmengen die Teilmenge

ein Ideal

in ist.