theorem Th38: :: MEASUR12:38

for A, B being Subset of REAL
for F being Open_Interval_Covering of A st B c= A holds
F is Open_Interval_Covering of B