formal definitions of the derivative