Definition, synonyms and related words
A group which is also a topological space and whose group operations are continuous functions.