Ordnung auf Monomen

wählen eine totale und wohlfundierte Ordnung auf Monomen:

• wenn m₁ | m₂, dann m₁$\le$m₂
• wenn m₁ < m₂, dann mm₁ < mm₂

(z. B. lexikografisch, oder: erst nach Exponentensumme, dann lexikografisch)

H(f )= führendes (größtes) Monom, R(f )= alle anderen, also f = H(f )+ R(f )