Si G es localmente compacto, se puede seleccionar U de modo que Cl(UC ∪ CU) es compacta.