for A being Interval holds A in Borel_Sets