Monomordnung

Eine totale wohlfundierte Ordnung auf der Menge der Monome eines Polynomrings, die mit der Multiplikation kompatibel ist (wenn u < v, dann gilt uw < vw für jedes Monom w); Monomordnungen bestimmen Leitmonome und sind wesentlich für Polynomreduktion und Gröbner-Theorie.