Unter dem euklidischen Halbraum der Dimension ${\displaystyle {}n}$ versteht man die Menge

${\displaystyle {}H={\left\{x\in \mathbb {R} ^{n}\mid x_{1}\geq 0\right\}}\,}$

mit der induzierten Topologie.