Source: wikibot/topological-semigroup
= Topological semigroup
{wiki=Topological_semigroup}
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.