Assertion: abelian group's property | /r/HasProperty | other restricting
Facets:
Source sentences:
text: The free abelian group $G(X)$ generated by $X = \{A,B,C,D\}$ is the smallest abelian group containing $X$ and has no other restricting properties.