differential length

Элементарный отрезок, элементарная длина