Assertion: cyclic group | /r/HasProperty | given structure
Facets:
value: as a cyclically ordered group
type: MANNER
Source sentences:
text: Every cyclic group can be given a structure as a cyclically ordered group, consistent with the ordering of the integers (or