la_28，那么就把分割：formula_22、formula_23称作分割formula_19、formula_20的一个精细化分割。简单来说，就是说后一个分割是在前一个分割的基础上添加一些分点和标记。于是我们可以在此区间的所有取样分割中定义一个偏序关系，称作“精细”。如果一个分割是另外一个分割的精细化分割，就说前者比后者更“精细”。
黎曼和.对一个在闭区间formula_8有定义的实值函数formula_1，formula_1关于取样分割formula_19、formula