#monoid #string concatenation #free monoid #identity element #empty string #abstract algebra example