Definition:Open Lower Half-Plane