Assertion: order | /r/RelatedTo | lexicographical order
Facets:
Source sentences:
text: It is, historically, the first to have been used for defining Gröbner bases, and is sometimes called pure lexicographical order for distinguishing it from other orders that are also related to a lexicographical order.