En mathématiques, un ordre monomial est un ordre total sur l'ensemble des monômes d'un anneau de polynômes donné, compatible avec la multiplication, c'est-à-dire : Pour tout monôme w {\displaystyle w}, si deux monômes u {\displaystyle u} et v {\displaystyle v} satisfont u ≤ v {\displaystyle u\leq v} selon l'ordre monomial, alors u w ≤ v w {\displaystyle uw\leq vw}. Wikipedia