a topological group is a group G together with a topology o…

a topological group is a group G together with a topology on G such that both the group's binary operation and the function mapping group elements to their respective inverses are continuous functions with respect to the topology.