In mathematics, a monomial order is a total order on the set of all monomials in a given polynomial ring, satisfying the property of respecting multiplication, i.e., If u ≤ v {\displaystyle u\leq v} and w {\displaystyle w} is any other monomial, then u w ≤ v w {\displaystyle uw\leq vw}. Wikipedia