Assertion: lexicographical order | /r/CapableOf | induce a group order
Facets:
value: on z n
type: LOCATION
Source sentences:
text: The lexicographic order on the image of this map induces a group order on Z n .