for r being Real
for I being TheEvent of r holds I is Event of Borel_Sets