For constants and and differentiable functions and ,
* Product rule: For two differentiable functions and ,

An operation with these two properties is known in abstract algebra as a derivation. They imply the power rule

In addition, various forms of the chain rule hold, in increasing level of generality:

* If is a differentiable function