\begin{definition}[Definition:Continuous Group Action]
Let $G$ be a topological group.
Let $X$ be a topological space.
A group action $\phi: G \times X \to X$ is defined as '''continuous''' {{iff}} $\phi$ is continuous.
\end{definition}