Properly discontinuous
Redirect to:
Group action#Topological properties