Más precisamente, una medida derecha de Haar en un grupo localmente compacto "G" es una medida contablemente aditiva: