在本节中，我们定义了一个简单的数学系统，它由一个集合和一个二元运算组成，该运算具有许多重要的应用。
令 (A,*) 为代数结构，其中 * 是 A 上的任何二元运算。那么，系统 (A,*) 是半群，如果它满足以下性质：1. 运算 * 是 A 集合上的封闭运算。 2. 运算 * 是一个结合运算。
