REAL \ RAT is Event of Borel_Sets