Topological closure of subgroup belonging to a subvariety of the variety of groups is in the same subvariety
In terms of varieties
In terms of group property
Suppose is a topological group and is a subgroup that satisfies a varietal group property (or quasivarietal group property) of the variety of groups. Then, the closure of in is a closed subgroup of that also satisfies .
- Topological closure of cyclic subgroup need not be cyclic (in fact, such a closure is termed a topologically cyclic group)
- [[Topological closure of finitely generated subgroup need not be finitely generated (in fact, such a closure is termed a topologically finitely generated group)