Sea G un grupo topológico y sea H un subgrupo G, entonces CL(H) < G,