Assertion: algebra | /r/HasProperty | free
Facets:
Source sentences:
text: Were this not the case, our quotient construction would be incomplete as it produces a unique free algebra, whereas the above definition of free algebra allows any algebra isomorphic to that produced by the quotient construction to be considered free.