Sea G un grupo topológico y sea A un subconjunto cualquiera