Dedekind cut
曲线积分是区间分划的长度趋于零时这个黎曼和的极限。