 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.