for G being TopologicaladdGroup
for B being Basis of 0_ G
for M being dense Subset of G holds { (V + x) where V is Subset of G, x is Point of G : ( V in B & x in M ) } is Basis of G