Topologically finitely generated group (source code)

= Topologically finitely generated group

A topological group is topologically finitely generated when it has a finite <topological generating set>.