Definition:Real Left-Hand Derivative