An action is properly discontinuous when every compact set meets only finitely many of its translates. For an isometric action on aproper metric space, this gives the finiteness needed to extract a constant group element from asequence with bounded source and target.
