formula_18，则formula_19。如果formula_16是一个平均，则有formula_21，其中formula_22是"G"的特征函数。而且对任何实值函数formula_17，其中ess sup和ess inf分别是函数的本质上确界和本质下确界。一个平均是左不变的，如果对任何formula_25，formula_17，在左作用formula_27下，都有formula_28。局部紧群"G"如果有一个左不变平均，就称为可均群。可均群有很多等价定义。其中一个是Følner条件：