Основна властивість довжини відрізка

маємо основну властивість довжин відрізків:

при вибраній одиниці довжини довжина будь-якого відрізка виражена додатнім дійсним числом і, навпаки, для кожного додатного дійсного числа існує відрізок, довжина якого виражена цим числом.