Differential quotient/Definition