theorem Th41: :: FINANCE2:18

RAT is Event of Borel_Sets