Definition:Closed Lower Half-Plane