Assertion: abelian group's image | /r/HasProperty | semigroup
Facets:
Source sentences:
text: The image of f {\displaystyle f} is also a semigroup.