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