定義
X を局所コンパクト空間とする。
X 上の実 Radon 測度μは f ≧ 0 のとき常に μ(f) ≧ 0 となるとき
正値という。