Assertion: abelian group's subgroup | /r/HasProperty | cocompact
Facets:
Source sentences:
text: A discrete subgroup H of G is cocompact if there is a compact subset K of G