die Menge \begin{eqnarray}{I}_{1}\text{}+\text{}{I}_{2}\text{}=\text{}\{f\text{}+\text{}g\text{}:\text{}f\text{}\in {I}_{1}\,\text {und}\,g\text{}\in{I}_{2}\}\text{},\end{eqnarray}

wobei I₁ und I₂ Ideale in einem Ring R sind.