Wiktionary
cocompact
a. (context of a group action, or its group English) Having a compact quotient space.