Dada cualquier vecindad U del neutro, la vecindad V = U ∩ U es simétrica y contenida en U.