Note on the modified Heine-Borel Theorem

Extract

The Heine-Borel Theorem for one-dimensional intervals may be enunciated as follows:

(A) If a set D of intervals, all in the closed interval (a, b), be such that every point of (a, b) is an interior point of at least one interval of the set D (the end points a, b being regarded as interior to an interval when either of them is an end point of such interval), then a finite set E of intervals all belonging to D exists such that every point of (a, b) is interior to at least one interval of E.