inverse semigroup