Ordnung auf Monomen

• totale und wohlfundierte Ordnung auf Monomen mit
  • schwach kompatibel mit Teilbarkeit:

    wenn m₁ | m₂, dann m₁≤m₂

  • monoton bzgl. Multiplikation: m₁ < m₂, dann mm₁ < mm₂
• Beispiele:
  • lexikografisch
  • erst nach Exponentensumme, dann lexikografisch

    (diese verwenden wir, wenn nichts anderes gesagt wird)

• Nicht-Beispiele:
  • Ordnung nach Exponent von X₁
  • Ordnung nach Exponentensumme