ideal quotient
binary operation defined on the set of ideals in a commutative ring; (I:J) consists of elements r of the commutative ring such that rJ is a subset of I; in algebraic geometry, corresponds to the set difference of subvarieties
en-GB/aɪˈdɪəl ˈkwəʊʃənt/
en-US/aɪˈdil ˈkwoʊʃənt/