幺半群

幺半群
在抽象代数此一数学分支中，么半群是指一个带有可结合二元运算和单位元的代数结构。么半群在许多的数学分支中都会出现。在几何学中，么半群捉取了函数复合的概念。

定义

综述

么半群是一个带有二元运算
的集合M，其符合下列公理：结合律：对任何在M内的
。
单位元：存在一在M内的元素e，使得任一于M内的a都会符合
。