従順群
離散群 G {\displaystyle G} が従順であるとは、空でない有限部分集合の列 { S n } {\displaystyle \{S_{n}\}} が存在して、任意の元 g ∈ G {\displaystyle g\in G} に対して
lim n → ∞ | g S n △ S n | | S n | = 0 {\displaystyle \lim _{n\to \infty }{\frac {|gS_{n}\triangle S_{n}|}{|S_{n}|}}=0}
が成り立つことである( g S n △ S n {\displaystyle gS_{n}\triangle S_{n}} は g S n {\displaystyle gS_{n}} と S n {\displaystyle S_{n}} の対称差)。
また、このような列 { S n } {\displaystyle \{S_{n}\}} を G {\displaystyle G} のフェルナー列(フェルナーれつ、英: Følner sequence)という。