for A, B being Subset of REAL
for F being Interval_Covering of A
for G being Interval_Covering of B st F = G holds
F vol = G vol