Assertion: abelian group's property | /r/HasProperty | universal
Facets:
Source sentences:
text: The free abelian group on a set S is defined via its universal property in the analogous way, with obvious modifications: Consider a pair (F, φ), where F is an abelian group and φ: S →