Ideal quotient - Definition

In abstract algebra, if I and J are ideals of a ring A, their ideal quotient (I:J) is the set of all x in A such that

xJ is a subset of I.

Then (I:J) is itself an ideal in A.