topological group

group that is a topological space with continuous group action