Category:Combination Theorem for Continuous Mappings to Topological Semigroup