Cyclic semigroup