X を局所コンパクト空間とする。
σ, τ を X の位相同型とする。
(στ)f(x) = f(τ^(-1)σ^(-1)x) = τf(σ^(-1)x) = σ(τf)(x)
よって、(στ)f = σ(τf) である。