Assertion: computer's form | /r/HasProperty | free monoid
Facets:
Source sentences:
text: Therefore, the set Σ* and the concatenation operation form a monoid, the free monoid generated by Σ.