Borel set
which for a single Borel set formula_6 becomes