Closed half-space
= Closed half-space
A closed half-space is a set of the form $\{x:a^Tx\leq b\}$ for a nonzero vector $a$; it is a <convex set> and is closed.
This is the non-strict version of a <half-space>; replacing the inequality by a strict one gives the open version.