Definition:Lower Half-Plane