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