theorem :: FINANCE2:20

REAL \ RAT is Event of Borel_Sets