for A being Interval holds B-Meas . A = diameter A