Пусть — локально компактная хаусдорфова топологическая группа.
Левой мерой Хаара в называется мера , определенная на σ-кольце, порожденном всеми компактными множествами, не равная тождественно нулю, конечная на компактных множествах и такая, что
для любых и из области определения .
Правая мера Хаара определяется аналогично заменой условия на условие .