Unter dem euklidischen Halbraum der Dimension n {\displaystyle {}n} versteht man die Menge
mit der induzierten Topologie.