 For instance it can be proved that every separable topological group is isomorphic to a topological subgroup of a group having two topological generators (that is, having a dense 2-generator subgroup).A similar concept holds for free lattices.The free lattice in three generators is countably infinite.