Assertion: abelian group's image | /r/HasAspect | same order
Facets:
value: as that element
type: OTHER
Source sentences:
text: The image of an element has the same order as that element.