theorem :: FINANCE2:11

REAL is Event of Borel_Sets