e的英式读音，与"a mean able"相同（用美式读音就失去谐音效果），故此说出来其实也是「可以有一个平均」。
定义.设"G"为局部紧群。"G"上存在左哈尔测度formula_8。考虑在测度空间formula_13上的复值本质有界函数空间formula_14。线性泛函formula_15称为平均，如果formula_16的范数是1，并且是非负的：若实值函数formula_17适合formula_18，则formula_19。如果formula_16是一个平均，则有for