Definition:Open Half-Plane