Haar measure
実際に、局所コンパクト群 "G" とその上の左ハール測度 μ に対して "C""c"("G") の元 "f" の μ に関する積分を対応させる汎関数