perty）是二元运算的一个性质，它起源于基本代数运算，同时部分抽象代数运算亦符合该定律
定义.设formula_1及formula_2是定义在集合formula_3上的两个二元运算，我们说如果formula_1满足交换律，那么以上三条语句在逻辑上是等价的。
环的分配律.分配律在环和分配格中很常见。一个环有两个二元运算（通常称为formula_2和formula_1），其中一个要求是formula_1必须对formula_2满足分配律。