Topological semigroup (source code)

= Topological semigroup
{wiki}

A topological semigroup is a <semigroup> with a <topological space>[topology] for which multiplication is jointly <continuous function>[continuous].