ボレル測度
If formula_7 is a Hausdorff space and formula_8 contains the Borel formula_9-algebra then every finite measure is also a locally finite Borel measure.