Product Rule for Continuous Mappings to Topological Semigroup