Lexicographic Order

A monomial ordering that compares exponent vectors componentwise from a specified first variable to last: given a fixed variable ordering, two monomials are compared by the first exponent at which they differ, with the larger exponent at that position making the monomial larger. It is a total, well-founded order on monomials used in symbolic polynomial algorithms.