一个平面内的一条直线，把这个平面分成两部分，其中的每一部分都叫做半平面．

·半平面可由不等式ax+by+c>=0确定。

·在一个有界区域里半平面或半平面的交是一个凸多边形区域。

·n个半平面的交是一个至多n条边的凸多边形。