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