Topological group

A **topological group** is a mathematical structure that combines the concepts of a group and a topological space. Specifically, a topological group is a set equipped with two structures: a group structure and a topology that makes the group operations continuous.