Любой отрезок является частью прямой?

Определение:

Отрезок - это геометрическая фигура, состоящая из всех точек прямой, расположенных между двумя её различными точками.

В различных ситуациях отрезок может быть частью большего отрезка или частью луча. Но и в этом случае больший отрезок и луч - части существующей прямой.

да-да любой отрезок является частью прямой