Haar measure
(a totally finite version) of Haar measure on "X" by the map