aus zwei gegebenen Idealen auf folgende Art und Weise gebildetes Ideal.

Es seien I, J ⊆ R zwei Ideale im Ring R. Die Menge \begin{eqnarray}I:J=\{r\in R|r\cdot j\in I\space\text{f}{\ddot{\text {u}}\text r}\space\text{alle}\space j\in J\}\end{eqnarray} ist ein Ideal und heißt Idealquotient von I durch J.