代数系(M,∗)の演算∗が結合的であるとき、Mの元が左逆元と右逆元を両方とも持てばそれらは相等しく、したがってそれは逆元となる。
若其运算*具有结合律，则当一元素有一左逆元素和一右逆元素时，这两个会是相同且唯一的。