Definition:Upper Half-Plane