Assertion: monomial order | /r/HasProperty | the restriction
Facets:
Source sentences:
text: If n is the number of variables, every monomial order is thus the restriction to N n {\displaystyle \mathbb {N} ^{n}} of a monomial order of Z n {\displaystyle \mathbb {Z} ^{n}} (see above § Group orders of Z n {\displaystyle \mathbb {Z} ^{n}} , for a classification).