Definition:Topological Semigroup

Definition
Let $\left({S, \circ}\right)$ be a semigroup.

On that same underlying set $S$, let $\left({S, \tau}\right)$ be a topological space.

Then $\left({S, \circ, \tau}\right)$ is said to be a topological semigroup if:


 * $\circ: \left({G, \tau}\right) \times \left({G, \tau}\right) \to \left({G, \tau}\right)$ is a continuous mapping

where $\left({G, \tau}\right) \times \left({G, \tau}\right)$ is considered as $G \times G$ with the product topology.

Also see

 * Topological Group, an extension of this concept to a group.