定義
X を局所コンパクト空間とする。
X の Borel 集合(過去スレ007の212)全体で定義される測度 μ は
コンパクトな K に対して常に μ(K) ＜ +∞ であるとき
Borel 測度と言う。