a-(b-c)是减法的反交换定律。连续减去两个数等于减去这两个数的和。运算律既是重要的数学规律，也是数学运算固有的性质。包括加法交换律和结合律、乘法交换律和结合律、以及乘法对于加法的分配律等等。

运算律是通过对一些等式的观察、比较和分析而抽象、概括出来的运算规律。这个过程属于由具体到抽象、由特殊到一般的归纳，体现了合情推理的基本特点。但从知识逻辑来说，运算律与相关运算的定义是相伴相生的。数学家在定义四则运算的同时即需考虑能否由定义出发合乎逻辑地推导出相应的运算律。