sorry, but I don't know what a semigroup is
Crudely have a set, do multiplication (or some other binary operation) on it and it is associative. Even more crudely one of the many things in existence where you start stripping away the 'rules' and see what happens.
I do sympathise with having to use excessive brackets in some limited areas of abstract algebra though
