Перпендикулярность прямой и плоскости

Прямая называется перпендикулярной плоскости, если она перпендикулярна любой прямой, лежащей в этой плоскости.