internal_semigroups,parent BanAlg,Ban_k