Промежуток[1], или, если более точно, промежуток числовой прямой, — это множество вещественных чисел — таких, что если некоторые два числа принадлежат этому множеству, то любое число, лежащее между ними, тоже принадлежит этому множеству[2]. С использованием логических символов это определение можно записать так:
где — квантор всеобщности. В качестве примеров промежутков можно привести следующие множества:
Конечный промежуток состоит из множества чисел, заключённых между двумя числами и — концами промежутка, которые сами могут быть включены в его состав, или нет[1]. Если a ≤ b, то длиной такого промежутка называется число .
Если , то промежуток называется сегментом[3] или числовым отрезком и обозначается :
В случае отрезок вырождается в множество из одной точки (в синглетон).
Если , то промежуток называется интервалом и обозначается :