topological monoid

Concept in mathematics