给定集合$S$，如果$S$上的二元运算$\cdot$满足结合律，即对于任意$a,b,c\in S$，都有$a\cdot(b\cdot c)=(a\cdot b)\cdot c$，则称$(S,\cdot)$为一个半群。