symmetric inverse semigroups