internal_semigroups,parent
BanAlg,Ban_k
SemiGrp,Set
Quant,SupLat