Division mit Rest
Eine Monomordnung oder Termordnung formula_1 ist eine lineare Ordnung auf der Menge der Monome über einer endlichen Variablenmenge. Monomordnungen werden zur Definition der Division mit Rest von Polynomen in mehreren Variablen benötigt. Eine Gröbnerbasis bzgl. formula_1 definiert den Rest dieser Division eindeutig.