cocompact примеры

• Here, a geometric action is a cocompact, properly discontinuous action by isometries.
  Здесь геометрическое действие — это компактное, вполне разрывное действие изометрий.