 Partition of an interval

A partition of $[a,b]$ is a finite increasing sequence $a=t_0<t_1<\cdots <t_n=b$. Its mesh is ${\max }_i(t_i-t_{i-1})$, and a sequence of partitions is refining when each partition contains the preceding one.