Definition:Topological Group Homomorphism

Definition
Let $G$ and $H$ be topological groups.

A mapping $\phi:G \to H$ is a homomorphism of topological groups if it is a continuous group homomorphism.