Una medida μ en los subconjuntos de Borel de "G" se llama invariante por traslación izquierda si y sólo si para todos los subconjuntos de Borel "S" de "G" y para toda "a" en "G" se tiene