Definition:Proper Group Action

Definition
Let $G$ be a topological group.

Let $X$ be a topological space.

A group action $\phi: G \times X \to X$ is called proper $\phi$ is a proper mapping.

Here $G\times X$ is equipped with the product topology.

Also see

 * Proper Group Action of Discrete Group