Assertion: abelian group's subgroup | /r/HasProperty | open cover of g
Facets:
Source sentences:
text: In mathematics, a discrete subgroup of a topological group G is a subgroup H such that there is an open cover of G in which every open subset contains exactly one element of H; in other words, the subspace topology of H in G is the discrete topology.