Definition:Open Upper Half-Plane