Definition:Haar Measure

Also see

 * Left Haar Measure