実数上に定義されたのがルベーグ測度という意図では
ハール測度はもっと一般の位相群の場合として