a-(b-c)是減法的反交換定律。連續減去兩個數等於減去這兩個數的和。運算律既是重要的數學規律,也是數學運算固有的性質。包括加法交換律和結合律、乘法交換律和結合律、以及乘法對於加法的分配律等等。
運算律是通過對一些等式的觀察、比較和分析而抽象、概括出來的運算規律。這個過程屬於由具體到抽象、由特殊到一般的歸納,體現了合情推理的基本特點。但從知識邏輯來説,運算律與相關運算的定義是相伴相生的。數學家在定義四則運算的同時即需考慮能否由定義出發合乎邏輯地推導出相應的運算律。