Suppose $\mathcal{G} = (G, \circ)$ is a group. A topological group is a tuple $(\mathcal{G} , \mathcal{T} )$ where $(G, \mathcal{T} )$ is a topological space and the group operations are continuous.
