Kommutativer Ring/Ideal/Erzeuger/Prädikatenlogische Charakterisierung/Aufgabe

Es sei fixiert. Formalisiere prädikatenlogisch mit einem geeigneten Symbolalphabet den Sachverhalt, dass Elemente eines kommutativen Ringes ein gegebenes Ideal erzeugen.