Observe que es imposible definir una medida invariante derecha contablemente aditiva en todos los subconjuntos ' ' de "G" si se asume el axioma de elección.