Obsérvese que, a menos que "G" sea un grupo discreto, es imposible definir una medida invariante derecha contablemente-aditiva sobre todos los subconjuntos de "G", si se asume el axioma de elección.