Partition of an Interval
A division of an interval into a finite number of sub-intervals. Specifically, the partition itself is the set of endpoints of each of the sub-intervals.
See also
Norm of a partition