bicyclic monoid