Definition:Closed Left Half-Plane