theorem Th29: :: SRINGS_5:33

( the_set_of_all_right_open_real_bounded_intervals is cap-closed & the_set_of_all_right_open_real_bounded_intervals is diff-finite-partition-closed & the_set_of_all_right_open_real_bounded_intervals is with_empty_element )