半群

设 $V=<S,\circ >$ 是代数系统, 若 $\circ$ 是可结合的, 则 $V$ 是半群.

若 $V$ 是半群, $e\in S$ 是关于运算的单位元, 则 $V$ 为 含幺半群, 也称为 独异点.