Borel set
なお、formula_7 は formula_8 上のボレル集合族（集合演算で閉じた部分集合族の一種）である。