 It is symmetric since formula_66 which by continuity of the inverse is another open neighbourhood of the identity.It is transitive since formula_67 where formula_68 and formula_69 are open neighbourhoods of the identity such that formula_70; such pairs exist by the continuity of the group operation.There is also a concept of Cauchy sequence in a group formula_51