ハール測度
局所コンパクト群 "G" とその上の左ハール測度 μ および "G" の元 "g" に対し、"g" による右移動 "R""g" で μ を移した "R""g"μ はやはり左不変測度である。したがってハール測度の一意性から