A proper group action is a continuous group action of a topological group 
on a topological space 
for which the map
 |
is a proper map, i.e., inverse images of compact sets are compact.
A proper action must have compact isotropy groups at all points of 
.
