ボレル測度
位相群 上の有限ボレル測度 と に対し, それらの畳み込み は の各可測部分集合 に対して