Unter dem euklidischen Halbraum der Dimension n versteht man die Menge
mit der induzierten Topologie.