Haar measure
Such a left-translation-invariant, normed measure is called Haar measure of the group formula_13