ボレル測度
is a regular Borel measure, meaning all compact sets have finite total variation and the measure of a set can be approximated by those of open sets.