topological semigroup

semigroup with continuous operation