Post #1368988

@jdw I wasn't worried about the additive versus multiplicative notation, I was worried about not noticing "Classically, every monomial ordering is a well-ordering " or Hilbert's basis theorem on the Wikipedia page. But when I re-read your post about the "neutral element is minimal" condition, I think I better see how they line up (while still not wanting to overstate my understanding of all the details).