REAL is Event of Borel_Sets