Bicyclic monoid