Once again Doron if your line segment can’t be covered by smaller line segments...
The Man, the collection of all sub line segments that exist between the opposite edges of any arbitrary line segment, which follow each other by 0 gaps between them, cover that line segment if the opposite sub line segments of that collection have common edges with the considered line segment.
In the case of finite amount of sub line segments, one of the sub line segments can be the smallest one.
In the case of infinite amount of sub line segments, on one of the sub line segments can be the smallest one (we have ever smaller sub line segments).
We are
not talking about a collection of sub line segments, where each one of them > point, whether there is finite or infinite amount of them along the considered line segment.
We are
explicitly talking about the collection of
points along the considered line segment, and this collection does not completely cover the considered line segment, whether the smallest sub line segment exists along the considered line (and in this case it is a finite collection of sub line segments along the considered line segment, which completely covers it) or only an ever smaller sub line segment exists along the considered line (and in this case it is an infinite collection of sub line segments along the considered line segment, which completely covers it).
In other words The Man, you still do not get the simple fact about the collection of infinitely many
points (and not lines, whatever their size is, where all lines > 0) that can't completely cover any arbitrary given
line segment.