Følner sequence (source code)

= Følner sequence
{c}

A Følner sequence is a sequence of nonempty finite subsets $F_n\subseteq G$ such that $|gF_n\mathbin\triangle F_n|/|F_n|\to0$ for every $g\in G$.