Definition:Open Real Interval Bounded on the Right