Een halfruimte is in de wiskunde een door een hypervlak begrensde deelverzameling van een ruimte van willekeurige dimensie. Wanneer het hypervlak zelf in de halfruimte is besloten, noemt men de halfruimte afgesloten, anders open. Het begrip halfruimte leidt ertoe dat het begrensde hypervlak de ruimte in twee delen opdeelt. Terminologie en voorstelling zijn een generalisatie van de drie-dimensionale ruimte, waar een vlak een halfruimte begrenst.