\begin{definition}[Definition:Proper Group Action]
Let $G$ be a topological group.
Let $X$ be a topological space.
A group action $\phi: G \times X \to X$ is called '''proper''' {{iff}} $\phi$ is a proper mapping.
Here $G\times X$ is equipped with the product topology.
\end{definition}