A half-space refers to a region of RnR^nRn on one side of a Hyperplane. It can be defined by a linear inequality:
aTx≤ba^T x \leq baTx≤b