ГЕОМЕТРИЯ
Раздел ІІ. СТЕРЕОМЕТРИЯ
§7. ПЕРПЕНДИКУЛЯРНОСТЬ ПРЯМОЙ И ПЛОСКОСТИ.
1. Определение прямой, перпендикулярной к плоскости.
Прямую, пересекающую плоскость,
называют перпендикулярной к этой плоскости, если она перпендикулярна к каждой
прямой, лежащей в плоскости и проходит через точку пересечения (рис. 407).
Говорят также, что плоскость
перпендикулярна к прямой, или прямая и плоскость взаимно перпендикулярны.
Это записывают так: а 
α или α
а.