Assertion: free algebra | /r/HasProperty | isomorphic
Facets:
Source sentences:
text: Since all free algebras on \(X\) are isomorphic, the quotient construction is as good as any, and is furthermore one way of proving that they exist.