Definition:Open Unit Interval