定義
[a, b] を実数体の有限閉区間とする。
Δ_1: a = t_0 ＜ t_1 ＜ . . . ＜ t_n = b
Δ_2: a = s_0 ＜ s_1 ＜ . . . ＜ s_m = b
をそれぞれ [a, b] の分割(>>330)とする。

各 t_i がどれかの s_j に一致するとき Δ_2 を Δ_1 の細分と呼び
Δ_1 ≦ Δ_2 と書く。