Какие свойства имеет отрезок прямой в евклидовой геометрии?

Некоторые свойства отрезка прямой в евклидовой геометрии:

• Каждый отрезок имеет определённую длину, большую нуля. mathematics.ru Длина отрезка равна сумме длин частей, на которые он разбивается любой его точкой. mathematics.ru
• Для двух произвольных отрезков всегда выполняется только одно из соотношений: отрезок равен отрезку, отрезок больше отрезка или отрезок меньше отрезка. dep_geometry.pnzgu.ru
• Если отрезок является частью другого отрезка, то он меньше этого отрезка. dep_geometry.pnzgu.ru
• Длина отрезка равна сумме длин частей, на которые он разбивается любой его точкой. mathematics.ru
• На каждом луче от его начала можно отложить отрезок заданной длины и только один. mathematics.ru
• Любая точка прямой разбивает все остальные точки этой прямой на два непустых класса так, что любые две точки прямой, принадлежащие одному классу, лежат с одной стороны от точки, а любые две точки, принадлежащие разным классам, лежат по разные стороны от точки. dep_geometry.pnzgu.ru