e/Compactly generated group

Information
has gloss	eng: In mathematics, a compactly generated (topological) group is a topological group G which is algebraically generated by one of its compact subsets. Explicitly, this means that there exists a compact subset K of G such that
lexicalization	eng: Compactly generated group
instance of	e/Topological group