topological_monoid

A topological monoid is a monoid in which the multiplication is continuous as a function α × α → α.

topological_add_monoid

A topological (additive) monoid is a monoid in which the addition is continuous as a function α × α → α.