Definition:Closed Half-Plane