- a set that is a group and a topological space and for which the group operation and the map of an element to its inverse are continuous functions.
- a group, such as the set of all real numbers, that constitutes a topological space and in which multiplication and inversion are continuous