ボレル測度
定理 "X" を局所コンパクトハウスドルフ空間とする。"Cc"("X") 上の任意の正の線型汎函数 ψ に対し、"X" 上の次のような正則ボレル測度 μ が唯一つ存在する。すなわち、"Cc"("X") 内のすべての "f" について