Definition:Closed Upper Half-Plane