ula_1被称作局部紧的，若且唯若其单位元素e有个紧邻域。明白地说，这代表存在一个包含e的开集formula_2，使得它在formula_1里的闭包formula_4是紧的。局部紧群formula_1最值得注意的性质之一是它带有一个唯一的自然测度，称作哈尔测度，这使得我们可以一致地为formula_1中「够好」的子集测量大小；在此「够好」的明确意义是博雷尔集，即由紧集生成的σ-代数。更明确地说，局部紧群formula_1的一个右哈尔测度是指一个有限可加的博雷尔测度μ，并在formula_8的意义下满足「右不