ボレル集合
Indeed, for a Borel set formula_6, let us denote by formula_96 the set of inverses of elements of formula_6. If we define