Given two polynomials f and g, one says that f is reducible by g if some monomial m in f is a multiple of the leading monomial lm(g) of g.
Om man har två polynom f och g så säger man att reducerbart om något monom m i f är en multipel av det ledande monomet i g, m=lm(g).