sum of ideals

Sei \(R\) ein Ring und \(I,J \subseteq R\) Ideale. Dann ist die Summe der Ideale definiert als

\begin{align*} I + J = \{x + y \vert x \in I, y \in J\} \end{align*}