Полупростра́нство, ограниченное гиперплоскостью α, — это геометрическая фигура в пространстве, для которой выполняется следующее:
Пусть V {\displaystyle V} будет векторным пространством, λ : V → R {\displaystyle \lambda \colon V\to \mathbb {R} } линейной формой, тогда каждое число β ∈ R {\displaystyle \beta \in \mathbb {R} } определяет замкнутое полупространство