Topological monoid
In topology, a branch of mathematics, a topological monoid is a monoid object in the category of topological spaces. In other words, it is a monoid as a set and the monoid operations are continuous. A topological group is a topological monoid.