# Topological monoid

From Topospaces

## Definition

A **topological monoid** is a set endowed with the structure of a monoid (with binary operation ) as well as the structure of a topological space, such that the monoid operation is a continuous map from the space (endowed with the product topology) to .