ハール測度
と書いたときの "d"μ はハール測度である。もう少し一般に、離散位相を持つ位相群上の数え上げ測度はハール測度を与える。