[bedrijven docter]

Een verzameling S en een binaire operatie over S, aangeduid door concatenatie, vormen een monoïde als de operatie associeert, (ab)c = a(bc), en als er een element e∈S bestaat, zodanig dat ae = ea = a


Dit was de handtekening van het vergif op het senioren net en ik ontdekter er een fout in en toen was de boel helemaal verziekt.


concatenatie is toch geen productoperatie maar een + operatie ? althans volgens Wikipedia.
Ik weet dat het gebruikt wordt door informatici maar meer weet ik er niet van.

Een monoide is een verzameling met een productoperatie !!!!!!!

Wat U beschrijft in uw handtekening is wat wij in de abstracte algebra een 'free monoid ' noemen ,maar ik ontbreek dan in uw definitie de empty string.