A topological semigroup is a nonvoid, Hausdorff space, 5, together with a continuous, associative multiplication defined on 5. Here the term semigroup will always denote a topological semigroup. In [4], Wallace and Koch have shown that if the circle, B, is a semigroup such that B2 = B, then either B is a group, or the multiplication on B is of the trivial kind xy = x, or xy = y. In [6], Mostert...