Borel set
Since the pre-image formula_158 of the Borel set