定義
G を局所コンパクト群とする。
G 上の 0 でない正値Radon測度で左不変(>>350)のものを、左 Haar 測度という。
G 上の 0 でない正値Radon測度で右不変(>>350)のものを、右 Haar 測度という。