ハール測度
(a totally finite version) of Haar measure on "X" by the map