for A, B being Element of Family_of_Intervals st A misses B & A \/ B is Interval holds
pre-Meas . (A \/ B) = (pre-Meas . A) + (pre-Meas . B)