Assertion: free ring | /r/HasProperty | generated by set s
Facets:
Source sentences:
text: In the category-theoretic terms, the formation S ↦ the free ring generated by the set S {