Assertion: free algebra | /r/HasProperty | free commutative monoid
Facets:
value: namely
type: OTHER
Source sentences:
text: This monoid is an example of a free algebra, namely the free commutative monoid on two generators \(x\) and \(y\).