theorem :: SRINGS_5:59

( the_set_of_all_open_real_bounded_intervals is cap-closed & the_set_of_all_open_real_bounded_intervals is with_empty_element & the_set_of_all_open_real_bounded_intervals is with_countable_Cover )