Definition:Closed Right Half-Plane