Topological group

A topological group is a topological space that is also a group such that the binary operation defined on the group is a continuous map, as is the operation of inversion.

Every group G can be turned into a topological group by giving G the discrete topology. Every topological group is a completely regular space.