I was wondering how long it would take someone to ask. Semigroups are mathematical structures like monoids, but which don't necessarily have identity elements.

I didn't say it was a good joke...