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 if $\phi$ is a proper function.