Talk:Topological semigroup