theorem Th02: :: MEASUR10:4

Family_of_halflines c= Family_of_Intervals