半群与独异点的定义 广群、半群、独异点(含幺半群)的定义 广群:封闭二元运算 半群:封闭二元运算,结合律 独异点:封闭二元运算,结合律,单位元 说明:任何半群都可以扩张成独异点 表示式中可以省略运算符2 半群与独异点的定义 广群、半群、独异点（含幺半群）的定义 广群：封闭二元运算 半群：封闭二元运算，结合律 独异点：封闭二元运算，结合律，单位元 说明：任何半群都可以扩张成独异点 表示式中可以省略运算符