INT is Event of Borel_Sets