Kommutativer Ring/Ideal/Prädikatenlogische Charakterisierung/Aufgabe

Formalisiere prädikatenlogisch mit einem geeigneten Symbolalphabet ${}S$ , dass ein Ideal in einem kommutativen Ring vorliegt.