Две прямые на плоскости называются перпендикулярными, если при пересечении образуют 4 прямых угла.
В аналитическом выражении прямые, заданные линейными функциями и будут перпендикулярны, если выполнено условие . Эти же прямые будут перпендикулярны, если . (Здесь α1,α2 — углы наклона прямой к горизонтали)
Для обозначения перпендикулярности имеется общепринятый символ: , предложенный в 1634 году французским математиком Пьером Эригоном.