On the Characterization of Topological Semigroups on Closed Intervals