for I being Interval holds diameter I = OS_Meas . I