Definition:Derivative on Interval