Definition of the derivative