A half-space is that portion of an 
-dimensional space obtained by removing
that part lying on one side of an 
-dimensional hyperplane. For example, half a Euclidean
space is given by the three-dimensional region satisfying 
, 
, 
, while a half-plane
is given by the two-dimensional region satisfying 
, 
.
