Definition:Open Right Half-Plane