Definition:Open Interval