Orden de Eliminación

Un orden de monomios (a menudo por bloques o lex con una precedencia de variables elegida) diseñado de forma que los monomios que involucran ciertas variables «a eliminar» sean mayores que cualquier monomio en las variables restantes. Tal orden permite eliminar esas variables mediante cálculos de bases de polinomios (p.