Entonces, para cada vecindad U del neutro, UA es un abierto que