Ordre Monomial

Un ordre total bien fondé sur l'ensemble des monômes d'un anneau de polynômes, compatible avec la multiplication (si u < v alors uw < vw pour tout monôme w) ; les ordres monomiaux déterminent les termes dominants et sont essentiels à la réduction polynomiale et à la théorie des bases de Gröbner.