Definition:Empty Real Interval