Topological semigroup explained

In mathematics, a topological semigroup is a semigroup that is simultaneously a topological space, and whose semigroup operation is continuous.^[1]

Every topological group is a topological semigroup.

Notes and References

1. Artur Hideyuki Tomita. On sequentially compact both-sides cancellative semigroups with sequentially continuous addition.