Uno de los hechos más notables sobre un grupo localmente compacto "G" es que lleva una medida natural esencialmente única, la medida de Haar, que permite medir consistentemente el "tamaño" de subconjuntos suficientemente regulares de "G".