Евклидово пространство
Евкли́дово простра́нство (также эвкли́дово простра́нство) — в изначальном смысле, пространство, свойства которого описываются аксиомами евклидовой геометрии. В этом случае предполагается, что пространство имеет размерность, равную 3.
Перпендикулярность
Пусть задано n-мерное евклидово пространство formula_33(n>2) и ассоциированное с ним векторное пространство formula_34, а прямая "l" с направляющим векторным пространством formula_35 и гиперплоскость formula_36 с направляющим векторным пространством formula_37 (где formula_38, formula_39) принадлежат пространству formula_33.