Assertion: abelian group's subgroup | /r/HasProperty | a lie group
Facets:
Source sentences:
text: Any closed subgroup of GL(n; C) is a Lie group; Lie groups of this sort are called matrix Lie groups.
text: Any topologically closed subgroup of a Lie group is a Lie group.