Haar measure

Every locally compact topological group has a nonzero translation-invariant regular measure, unique up to scale. On a compact group it can be normalized to have total mass one.