Assertion: lexicographical ordering | /r/HasProperty | a group order
Facets:
value: on z n
type: LOCATION
Source sentences:
text: The lexicographical ordering is a group order on Z n .