e/Properly discontinuous action

Information
has gloss	eng: :\g\in G\, \|\, gU\cap U\neq \varnothing\} is finite. The action is called discontinuous if it is discontinuous at every point.
lexicalization	eng: Properly discontinuous action
instance of	e/Group action