Sean F y C subconjuntos disjuntos de un grupo topológico G.