internal_semigroups,internal_semigroups_label,parent,parent_label BanAlg,BanAlg,Ban_k,Ban_k