Existe, a veces, un grupo topológico "G" de transformaciones de "E", tal que si "ρ" denota la acción, "π(ρ(g)[e])= π(e)" para "g" en "G" y "e" en "E".