la_21，那么就把分割：formula_15、formula_16称作分割formula_12、formula_13的一个精细化分割。简单来说，就是说后一个分割是在前一个分割的基础上添加一些分点和标记。于是我们可以在此区间的所有取样分割中定义一个偏序关系，称作“精细”。如果一个分割是另外一个分割的精细化分割，就说前者比后者更“精细”。
达布和.设formula_26 为一个有界函数，又设是闭区间formula_1的一个分割。令:formula_31在分割formula