定義
X を局所コンパクト空間とする。
Ψ を X の 開集合全体を含む σ-集合代数(過去スレ007の198)とする。
μ を Ψ で定義された測度(過去スレ007の316)とする。

X の任意の開集合が内正則(>>19)で、X の任意の集合が外正則(>>19)と
なるとき μ を準正則と言う。