Haar measure
for complex-valued sequences and functions on formula_79 respectively, which can be further generalized (see Haar measure).