for A being Subset of REAL
for F being Interval_Covering of A holds F vol is V99()