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