mula_2，使得它在formula_1里的闭包formula_4是紧的。局部紧群formula_1最值得注意的性质之一是它带有一个唯一的自然测度，称作哈尔测度，这使得我们可以一致地为formula_1中「够好」的子集测量大小；在此「够好」的明确意义是博雷尔集，即由紧集生成的σ-代数。更明确地说，局部紧群formula_1的一个右哈尔测度是指一个有限可加的博雷尔测度μ，并在formula_8的意义下满足「右不变性」；此测度尚须满足一些正则性（详见主条目哈尔测度）。任两个右不变哈尔测度至多差一个正的比例常数。