n. (for a real function f on an interval [a, b]) any sum of the form where ε_i = t_i+1 - t_i, for any partition with
b = t_n > t_n-1 > ... > t₁ > t₀ = a,
where t_i+1 ≥ c_i ≥ t_i.