 | This article relies largely or entirely on a single source. (May 2024) |
In mathematics, a topological semigroup is a semigroup that is simultaneously a topological space, and whose semigroup operation is continuous.[1]
Every topological group is a topological semigroup.