Definition:Open Left Half-Plane