 Bicyclic semigroup

A **bicyclic semigroup** is a specific type of algebraic structure in the field of abstract algebra. More formally, it is the semigroup generated by two idempotent elements.