theorem Th28: :: SRINGS_5:32

the_set_of_all_right_open_real_bounded_intervals is with_empty_element