Math 请用更简单的术语解释历史幺半群

我试图阅读历史monoid，但无法理解它。有人能简单地解释一下吗

多谢各位

---

参考：

历史幺半群是线程中可能的基元操作序列集，考虑到同时发生在多个线程中的同步基元

---

实际上它不仅仅是一个集合，而是一个幺半群，这意味着你可以把序列串联起来，在幺半群中得到一个新的序列，还有一个中性元素，空序列。

对于此类问题来说是一个更好的地方。本质上，他们所做的是从一组字母的并集上的自由幺半群投影到单个字母上的自由幺半群的笛卡尔积。然后，历史幺半群是由投影图像生成的所述乘积的子幺半群。如果你想要比这更清楚的东西，你必须更具体。