Assertion: abelian group's subgroup | /r/HasProperty | discrete
Facets:
Source sentences:
text: It follows that every finite subgroup of a Hausdorff group is discrete.
text: every subgroup of a discrete group is discrete.