Assertion: abelian group's image | /r/HasProperty | the set
Facets:
Source sentences:
text: The image of is the set