Strings with string concatenation form a monoid [1] (natural numbers with addition form a commutative monoid, and integers with addition form an abelian group). Incidentally, that was literally the topic of the first class in my first CS semester. :)

[1] https://en.m.wikipedia.org/wiki/Monoid