 Topological semigroup

A topological semigroup is a semigroup with a topology for which multiplication is jointly continuous.

A **topological semigroup** is a mathematical structure that combines elements of both semigroup theory and topology. Specifically, it is a set equipped with a binary operation that is associative and is also endowed with a topology that makes the operation continuous.