Assertion: group order | /r/HasProperty | compatible
Facets:
value: with addition
type: OTHER
Source sentences:
text: A group order on Z n {\displaystyle \mathbb {Z} ^{n}} is a total order, which is compatible with addition, that is