gap semigroups
