Topological monoid (source code)

= Topological monoid
{wiki=Topological_monoid}

A **topological monoid** is an algebraic structure that combines the properties of a monoid with those of a topological space.