Example

Here is a cyclic monoid. Try to do some computations.