定義
G を局所コンパクト群とする。
f を G 上で定義された任意の複素数値関数とする。
x ∈ G に f(x^(-1)) を対応させる関数を f^ と書く。
即ち、f^(x) = f(x^(-1)) である。