theorem :: MEASUR10:6

( sigma Family_of_Intervals = Borel_Sets & sigma (Field_generated_by Family_of_Intervals) = Borel_Sets )