Definition:Real Right-Hand Derivative