Amenable group (source code)

= Amenable group
{wiki}

A discrete group $G$ is amenable when it admits a left-invariant <finitely additive probability measure> on all subsets of $G$. Equivalently, it admits an <invariant mean> on the bounded real-valued functions on $G$.