Haar measure
として定義される。ここで積分は "G" 上のハール測度 μ に関するものである。