幺半群- 由一个集合、一种可省去括号书写的（结合）运算以及一个单位元构成的代数结构
algebraische Struktur bestehend aus einer Menge mit einer klammerfrei notierbaren (assoziativen) Verknüpfung und einem neutralen Element
