Topological generator (source code)

= Topological generator

An element of a <topological generating set> of a <topological group>. A finite tuple consists of topological generators when the abstract <subgroup> it generates is dense in the group; it need not equal that abstract subgroup.