internal_semigroups,parent Quant,SupLat