Partition

Let be a non-empty, compact interval (closed and bounded). A partition of is a finite collection of almost disjoint, non-empty, compact sub-intervals whose union is .

A partition is determined by the endpoints of all sub-intervals: .

A partition can be denoted by:

• its intervals -
• the endpoints of its intervals -