Ну да, верно. То есть не надо придумывать новый объект (полуинтервал), если в пространстве есть подходящий отрезок. Резонно.
Может, посмотреть на задачу так: каждый отрезок можно задать точкой плоскости (вернее, полуплоскости, т.к.

). Тогда ваша метрика - это обычная манхэттенская метрика на плоскости, эквивалентная, как известно, евклидовой. Ну, а в этой метрике полуплоскость полна. Если рассматривать ее с границей, т.е. допускать случай

. Итак, дело сводится только к тому, входят ли в число отрезков вырожденные, вида
![$[a,a]$ $[a,a]$](https://dxdy-04.korotkov.co.uk/f/7/3/c/73c75287be8552d98e97a767ccc1da8382.png)