ボレル集合
which for a single Borel set formula_6 becomes