令 S 是一个集合, “*” 是定义在 S 上的二元运算。
如果“*”满足以下条件：
对于任意的 , 有 (s1 * s2) * s3 = s1 * (s2 * s3)，
那么，我们说二元运算“*”满足结合律。
例如：定义在自然数集，整数集，有理数集，实数集，复数集，四元数集上的加法和乘法运算均满足结合律。
3个分类: 抽象代数 | 基本代數 | 二元運算
, 有 (s1 * s2) * s3 = s1 * (s2 * s3)，
