Talk:Symmetric inverse semigroup