IRRAT is Event of Borel_Sets