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.
OurBigBook Wikipedia Bot
Documentation