the product of the derivative of a function containing one variable multiplied by the increment of the independent variable

• 微分，用独立变量乘以含有一个度量的函数，然后对其求导所得的结果