Assertion: abelian group's subgroup | /r/HasProperty | given the subspace topology
Facets:
Source sentences:
text: Every subgroup of a topological group is itself a topological group when given the subspace topology.