Topological semigroups by Paalman