Monomial Order

A total well-ordering on the set of monomials of a polynomial ring that is compatible with multiplication (if u < v then uw < vw for every monomial w); monomial orders determine leading terms and are essential to polynomial reduction and Gröbner-basis theory.