Topological semigroups door Paalman