Topological semigroups/monoids: topological space endowed with a continuous semigroup/monoid structure, or, equivalently, semigroup/monoid endowed with a compatible topology.
Topological semigroups/monoids: topological space endowed with a continuous semigroup/monoid structure, or, equivalently, semigroup/monoid endowed with a compatible topology.