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