ボレル集合
Since the pre-image formula_158 of the Borel set