Orden Lexicográfico

Un orden sobre monomios que compara vectores de exponentes componente por componente empezando por una variable de prioridad especificada: dada una ordenación fija de variables, dos monomios se comparan por la primera componente de exponente en la que difieren, y el exponente mayor en esa posición hace el monomio mayor.