Γ – semigroup generated by a semigroup. (April 2020)