theorem Th40: :: FINANCE2:15

INT is Event of Borel_Sets