Isometry group

A discrete isometry group is an isometry group such that for every point of the space the set of images of the point under the isometries is a discrete set.