ЭСГ/Перпендикуляр

Перпендикуляр к данной прямой есть линия, образующая с нею прямой угол (см. XIII, 331, прилож.).