I have two questions about the definition of topological semigroup. Thank you very much to all the respondents.
Q1. Why topological space has to be Hausdorff when defining topological semigroups?
Q2. If the topological space is not Hausdorff, can we not give a definition of the topological semigroup.