Haar measure
In the case of discrete subgroups this invariant measure coincides locally with the Haar measure and hence a discrete subgroup in a locally compact group formula_5 being a lattice is equivalent to it having a fundamental domain (for the action on formula_5 by left-translations) of finite volume for the Haar measure.