Entonces, para cada vecindad U del neutro, hay una vecindad V del neutro tal que Cl(V ) ⊂ U.