gap-semigroups