A topological group is a group $G$ together with a topology on the elements of $G$ such that the group operation and group inverse function are both continuous (with respect to the topology).
A topological group is a group $G$ together with a topology on the elements of $G$ such that the group operation and group inverse function are both continuous (with respect to the topology).