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

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

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