Orden Monomial

Un orden total bien fundado sobre el conjunto de monomios de un anillo de polinomios, compatible con la multiplicación (si u < v entonces uw < vw para todo monomio w); los órdenes monomiales determinan los términos líderes y son esenciales para la reducción polinómica y la teoría de bases de Gröbner.