Conjunt que és alhora un grup i un espai topològic, de manera que totes dues estructures són compatibles, és a dir, que l’operació de grup i l’aplicació que assigna a cada element el seu invers són contínues.
D’una manera anàloga hom defineix els anells, els cossos o els espais vectorials topològics.