Assertion: abelian group | /r/HasProperty | s → g
Facets:
Source sentences:
text: F is said to be the free abelian group on S with respect to φ if for any abelian group G and any function ψ: S → G, there exists a unique homomorphism f: